This is an unofficial reimagining of the Archive of Formal Proofs
Formalisation of an Adaptive State Counting Algorithmby Robert Sachtleben