Yannick Forster's repositories
thesis-template
A LaTeX template for Bachelor or Master theses
autoinduct
Taking a fun tactic implemented in class, and making it public for further refinement
000
autosubst2-1
Official repository of the Autosubst 2 project.
coq-ceres
Coq library for serialization to S-expressions
Language:CoqMIT000
Coq-Equations
A function definition package for Coq
LGPL-2.1000
coq-library-undecidability
A library of formalised undecidable problems in Coq
coq-tricks
Tricks you wish the Coq manual told you
Language:JavaScriptBSD-2-Clause000
logrel-coq
Logical Relation for MLTT in Coq
malfunction
Malfunctional Programming
Language:TeX000
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
template-coq
Reflection library for Coq
Language:HTML000