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

Closed Issues

The source arity of functions needs to be remembered

#14Opened 3/20/20130 commentsby danr

Closed

JSON format and viewing results as a webpage has diverged

#13Opened 3/16/20131 commentsby danr

Closed

Pretty print Z3 S-Expressions nicely

#11Opened 3/16/20130 commentsby danr

Closed

Using type signatures blocks HipSpec

#9Opened 3/16/20130 commentsby danr

Closed

Support fully saturated type constructors (that are monomorphic)

#8Opened 3/16/20130 commentsby danr

Closed

Generate TFF theories

#6Opened 3/16/20130 commentsby danr

Closed

Allow just printing the names of functions in the signature, or not specifying a signature (--auto mode)

#5Opened 3/16/20131 commentsby danr

Closed

Z3 will not case split on booleans

#4Opened 3/16/20134 commentsby danr

Closed

Generate missing subtheories on the fly

#3Opened 3/16/20133 commentsby danr

Closed

Make theories with pretty names

#2Opened 3/16/20130 commentsby danr

Closed

PreviousPage 2Next