## 3, 2, 5, Can you count?

A game in which you need to count how many goats are on the screen!

A game in which you need to count how many goats are on the screen!

A Coq formalization of the Quantified Reflection Calculus with one modality.

Contributions to Coq.

Libraries for the conversion between Coq primitive integers and MathComp unary numbers, boolean goal automation, and UTC time management.

Configuration and other boilerplate templates for Coq projects hosted on Gitlab, adapted from coq-community’s templates project.

Formalization of basic concepts from tree automata theory.

A Coq implementation of the Worm Calculus, the closed fragment of the Reflection Calculus, and the relationship between them.