Reverse dependencies on peano-0.1.0.2

There is a total of 2 dependencies in nightly-2025-02-03

<< Return to package page

• Agda-2.7.0.1@rev:2
• natural-induction-0.2.0.0@rev:1