@hackage lean-peano0.1.0.1

Hackage

lean-peano

Implementation of peano numbers (with all relevant instances) with minimal dependencies.