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

Can't run hipspec on examples with dependencies

#25Opened 6/12/20212 commentsby yanhasu

Closed

Resolver too old for stack

#24Opened 6/12/20212 commentsby yanhasu

Closed

Add a `stack.yaml` file

#23Opened 5/7/20160 commentsby NorfairKing

Closed

Doesn't install with GHC 7.10.2

#22Opened 11/4/20153 commentsby aommm

Closed

`UnificationFailure` not found for unification-fd 0.10

#21Opened 6/10/20151 commentsby Warbo

Closed

GHC 7.10 needs FlexibleContexts

#20Opened 6/10/20151 commentsby Warbo

Closed

Install problem

#19Opened 5/6/20142 commentsby asr

Closed

Consistent markup in README.md

#18Opened 2/10/20141 commentsby Tarrasch

Closed

Alternative version of rotate fails to translate

#16Opened 3/20/20131 commentsby danr

Closed

Properties needs a case-lift pass

#15Opened 3/20/20131 commentsby danr

Closed

Page 1Next