lean-peano (hackage): Please see the README on GitHub at https://github.com/oisdk/lean-peano#readme
Keywords: library|mit|numeric