# Changelog for lean-peano

## Unreleased changes