Pinned Repositories
action-snapcraft-build
A Github action for building Snapcraft projects
autoinduct
Taking a fun tactic implemented in class, and making it public for further refinement
ceps
Coq Enhancement Proposals
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
platform
Multi platform setup for Coq, Coq libraries and tools
MSoegtropIMC's Repositories
MSoegtropIMC/interval
This is a fork of https://gitlab.inria.fr/coqinterval/interval
MSoegtropIMC/flocq
Fork of https://gitlab.inria.fr/flocq/flocq
MSoegtropIMC/coquelicot
This is a fork of https://gitlab.inria.fr/coquelicot/coquelicot
MSoegtropIMC/gappa-coq
Fork of https://gitlab.inria.fr/gappa/coq
MSoegtropIMC/Mtac2
MSoegtropIMC/ocaml
The core OCaml system: compilers, runtime system, base libraries
MSoegtropIMC/dsss18
Lecture material for DeepSpec Summer School 2018