GitHub.GG
Explore
Features
Pricing
Docs
Star
Toggle menu
hipspec
Public
A hip inductive theorem prover!
Code
Star
89
Fork
9
Watch
89
Code
Diagram
Issues
Pull Requests
Actions
Security
Insights
Settings
Loading repository data...