ProofEngineering's repositories
proofengineering-bib
BibTeX bibliographies for proof engineering-related papers
proofengineering.github.io
Studying Software Engineering in the Proof Assistant world.
proofengineering-doc
Documentation related to proof engineering
coq-docker
Dockerfiles with various versions of Coq
Language:Coq000
Language:Shell000
coq-depends
Coq plugin for plain dependency extraction
coq-dpdgraph
Build dependency graphs between COQ objects
Language:CoqLGPL-2.1000
icoq
A regression proof selection tool for the Coq proof assistant
Language:Shell000
opam-repository
Proof engineering released package repository for OPAM
000
opam-repository-dev
Proof engineering development package repository for OPAM
serapi-tests
Some Coq regression tests for SerAPI
Language:Coq000