Dependencies for natural-induction-0.2.0.0

There is a total of 2 dependencies in lts-20.12

<< Return to package page

• base-4.16.4.0
• peano-0.1.0.1@rev:3