Dependencies for natural-induction-0.2.0.0

There is a total of 2 dependencies in nightly-2019-07-11

<< Return to package page

• base-4.12.0.0
• peano-0.1.0.1@rev:2