lean-peano-1.0.0.0: A maximally lazy, simple implementation of the Peano numbers with minimal dependencies
Index