3, 2, 5, Can you count?
A game in which you need to count how many goats are on the screen!
Projects
QRC1 in Coq
A Coq formalization of the Quantified Reflection Calculus with one modality.
Coq development
Contributions to Coq.
FormalV Library
Libraries for the conversion between Coq primitive integers and MathComp unary numbers, boolean goal automation, and UTC time management.
Coq Gitlab templates
Configuration and other boilerplate templates for Coq projects hosted on Gitlab, adapted from coq-community’s templates project.
Tree automata theory in Coq
Formalization of basic concepts from tree automata theory.
Worms in Coq
A Coq implementation of the Worm Calculus, the closed fragment of the Reflection Calculus, and the relationship between them.