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
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
coq-depends
Coq plugin for plain dependency extraction
coq-dpdgraph
Build dependency graphs between COQ objects
htt
Hoare Type Theory
icoq
A regression proof selection tool for the Coq proof assistant
opam-repository
Proof engineering released package repository for OPAM
opam-repository-dev
Proof engineering development package repository for OPAM
ott
Ott is a tool for writing definitions of programming languages and calculi
reglang
OPAM friendly version of files from the paper Regular Language Representations in the Constructive Type Theory of Coq
serapi-tests
Some Coq regression tests for SerAPI