The latest version of natural-induction is 0.2.0.0-1.
lib:natural-induction
Modules
Dependencies
Reverse dependencies
Direct only. Not exhaustive.
- Fin lib:Fin
- clist lib:clist
- permutations lib:permutations
- permutations test:test
- word lib:word
Direct only. Not exhaustive.