natural-induction 0.2.0.0

4 Reverse deps Accepted versions
clist >=0.2 && <0.3
Fin >=0.2 && <0.3
permutations >=0.2 && <0.3
word >=0.2 && <0.3