Skip to content

danr/hipspec

Error
Looks like something went wrong!

About

A hip inductive theorem prover!

danr.github.io/hipspec/

Resources

Readme

License

GPL-3.0 license
Activity

Stars

89 stars

Watchers

8 watching

Forks

9 forks
Report repository

Releases

1 tags

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages