This is an unofficial reimagining of the Archive of Formal Proofs
Isabelle/Circusby Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel