Explore Features Pricing Docs Star

Public

A hip inductive theorem prover!

Code Diagram Issues Pull Requests Actions Security Insights Settings

Unlock the power of AI to understand code instantly.

Twitter GitHub Discord

Product

Features
Pricing
Testimonials
FAQ

Resources

Documentation
API
Blog
Community

Company

About
Team
Careers
Contact

© 2025 GitHub.GG. All rights reserved.

Issues

Open Closed All

Open Issues

Hipspec performs worse if there are missing type signatures

#17Opened 12/27/20131 commentsby sergei-grechanik

Allow to set the verbosity for json output

#12Opened 3/16/20130 commentsby danr

Profile HipSpec

#10Opened 3/16/20130 commentsby danr

Re-enable z3 support for primitive ints

#7Opened 3/16/20130 commentsby danr

Page 1Next