natural-induction 0.2.0.0

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