Dependencies for natural-induction-0.2.0.0

There is a total of 2 dependencies in nightly-2022-05-20

<< Return to package page

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