@hackage lean-peano0.1.1.0

Hackage

lean-peano

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