Pinned Repositories
dbmonad
Initial syntax using De Bruijn monads
elpi
Embeddable Lambda Prolog Interpreter
fol
First Order Logic in Lambda Prolog
hol-docked
Docker images for HOL Light
hol-light-docker
Scripts for deploying HOL Light with Docker (and optional checkpointing)
nixconfs
My nix related configurations
nixpkgs
Nix Packages collection
OSudoku
plar-elpi
Practical Logic and Automated Reasoning in Elpi
maggesi's Repositories
maggesi/dbmonad
Initial syntax using De Bruijn monads
maggesi/plar-elpi
Practical Logic and Automated Reasoning in Elpi
maggesi/hol-light-docker
Scripts for deploying HOL Light with Docker (and optional checkpointing)
maggesi/nixconfs
My nix related configurations
maggesi/nixpkgs
Nix Packages collection
maggesi/OSudoku
maggesi/elpi
Embeddable Lambda Prolog Interpreter
maggesi/fol
First Order Logic in Lambda Prolog
maggesi/hol-docked
Docker images for HOL Light
maggesi/hol-light-devcontainer
Devcontainer with OCaml and other software preinstalled to run HOL Light.
maggesi/hol-light-vscode-container
Run HOL Light in a Docker container in VS Code using the Remote - Containers extension.
maggesi/holl-mode
Emacs mode for HOL Light proof scripts
maggesi/jupyter_experiments
maggesi/lambda
Residual Theory in Lambda-Calculus
maggesi/largecatmodules
Large category of modules over monads on top of UniMaths and Display category
maggesi/maggesi.github.io
Web page of Marco Maggesi on GitHub.
maggesi/Manifolds
Differential geometry in HOL Light.
maggesi/MkDocker
Experiments with deploying docker images with travis.
maggesi/nix-lutezio
maggesi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
maggesi/platform
Multi platform setup for Coq, Coq libraries and tools
maggesi/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
maggesi/unimath.github.io
Various websites