Projects in Awesome Lists tagged with conjectures
A curated list of projects in awesome lists tagged with conjectures .
https://github.com/mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
conjectures coq lemma-discovery property-based-testing property-testing quickspec theory-exploration
Last synced: 10 Mar 2026
https://github.com/josefdc/conjeturas
Repositorio que explora conjeturas matemáticas icónicas a través de simulaciones y códigos en Python.
conjectures mathematics number-theory simulations
Last synced: 25 Jun 2025
