Marco Maggesi's repositories
hol-light-docker
Scripts for deploying HOL Light with Docker (and optional checkpointing)
hol-docked
Docker images for HOL Light
hol-light-devcontainer
Devcontainer with OCaml and other software preinstalled to run HOL Light.
hol-light-vscode-container
Run HOL Light in a Docker container in VS Code using the Remote - Containers extension.
largecatmodules
Large category of modules over monads on top of UniMaths and Display category
maggesi.github.io
Web page of Marco Maggesi on GitHub.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:CoqNOASSERTION000
unimath.github.io
Various websites
Language:HTML000