glguy's binary numbers with some extra stuff
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Some proofs and reorganization of Eric Mertens' modularfin module for Agda.