Laurent Théry's repositories
atom-language-coq
Coq language support for the Atom editor
continuity
Quantitative continuity and computable analysis in Coq
coq_jupyter
Material for Coq under jupyter
FourInARow
The proof that Four is a row is a perfect game in Coq
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
proviola-source
Proviola, a tool for proof reanimation.
Language:Coq000