GitHub Explorer

Explore Rankings Search Author shots

Preview of nomeata/incredible

nomeata/incredible

The Incredible Proof Machine

★ 399 Stars

⑂ 41 Forks

○ 399 Watchers

✖ 30 Issues

Haskell

Last push: 2mo ago

Created:

↗ View on GitHub

Loading additional information…

Subscribe

Register

Data source: GitHub REST & GraphQL APIs. This project is not affiliated with, sponsored by, or endorsed by GitHub, Inc.

Data cached · Rate limits apply · Built with Django + HTMX

Subscribe

Get curated open-source highlights by email.

Name

Email