lean-peano

Please see the README on GitHub at https://github.com/oisdk/lean-peano#readme