Reverse dependencies on peano-0.1.0.1

There is a total of 2 dependencies in lts-12.14

<< Return to package page

• Fin-0.2.6.0
• natural-induction-0.2.0.0