lib:word
Modules
Dependencies
- Fin lib:Fin >=0.2.2 && <0.3
- base lib:base >=4.7 && <5
- natural-induction lib:natural-induction >=0.2 && <0.3
- peano lib:peano >=0.1 && <0.2
- transformers lib:transformers >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- rv lib:rv
- word test:test