lean-peano-0.1.0.0: ChangeLog.md

# Changelog for lean-peano

## Unreleased changes