forked from danr/hipspec
A hip inductive theorem prover!
License
Warbo/hipspec
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
A hip inductive theorem prover!
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Haskell 83.6%
- TeX 13.2%
- HTML 1.1%
- CoffeeScript 0.9%
- Shell 0.4%
- Makefile 0.3%
- Other 0.5%