GitHub.GG

Explore Features Pricing Docs Star

Sign In

type-theory-and-formal-proof

Public

Formalizing and solving exercises form the book Type Theory and Formal Proof

Code Diagram Issues Pull Requests Actions Security Insights Settings

GitHub.GG

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.

Privacy Terms