Skip to content

Warbo/hipspec

About

A hip inductive theorem prover!

Resources

License

Stars

Watchers

Forks

Packages

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%