Automated Theory Exploration in Coq using Haskell's QuickSpec
coq property-based-testing property-testing conjectures theory-exploration quickspec lemma-discovery
-
Updated
May 18, 2021 - Coq
#
conjectures
Here are 24 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
The Ramanujan Machine is a brute force, algorithmic approach to finding conjectures for fundamental constants of mathematics.
-
Updated
Apr 2, 2025 - Go
A source-linked index of open math problems solved, refuted, or settled with AI — tracking the July 2026 wave. Verification-status badges, Lean/DRAT certificates, priority caveats.
awesome ai math theorem-proving mathematics artificial-intelligence graph-theory lean awesome-list gpt formal-verification number-theory conjectures open-problems automated-theorem-proving lean4 large-language-models llm erdos-problems ai-for-math
-
Updated
Jul 23, 2026
C.Algebra System derived fron own Author works.
-
Updated
Oct 7, 2020 - C
This tool proves that specific exponent patterns cannot correspond to integer Collatz cycles. Unlike testing individual integers, we enumerate the pattern space — proving structural impossibility.
-
Updated
Feb 3, 2026 - Python
Showcase of some properties of the collatz conjecture 3N+1
-
Updated
Jun 4, 2023 - Python
Computational evidence isolating the log(n) spreadness artifact in the Erdős k=3 Sunflower Conjecture via bitmask-accelerated Simulated Annealing.
-
Updated
Feb 20, 2026 - Python
Repositorio que explora conjeturas matemáticas icónicas a través de simulaciones y códigos en Python.
-
Updated
Sep 24, 2023 - Python
The Collatz Conjecture in multiple languages
javascript python computer-science mathematics collatz-conjecture conjectures proofs-and-conjectures
-
Updated
Aug 13, 2023 - C++
Growing public index of curated EULER mathematical research outcomes
-
Updated
Sep 9, 2026 - Python
Advanced Collatz's conjecture toolkit with power-of-2 validation, negative cycle detection and comprehensive logging. Built for performance and analysis.
-
Updated
May 17, 2026 - Python
Code relating to the Bateman-Horn Conjecture
math sage numerical-calculations number-theory conjectures analytic-number-theory prime-producing-polynomials
-
Updated
Nov 23, 2021 - Jupyter Notebook
A curated, open catalogue of 100 famous unsolved math problems — and a space to propose ideas and approaches. Contributions welcome.
-
Updated
Aug 5, 2026 - Python
SquareSymmetric Primes Conjecture - A conjecture about prime pairs symmetric around squares
-
Updated
Jan 1, 2026 - Python
A Lean 4 structural encoding of the Beal Conjecture using the 12-primitive Imscribing Grammar.
conjectures conjecture lean4 beal-conjecture conjecture-solving machine-verifiable conjecture-verification beal
-
Updated
May 29, 2026 - TeX
Settling Conjectures 10.1, 10.2 and 10.3 of Althofer et al., Alternating plane graphs (Ars Math. Contemp. 8, 2015)
python reproducible-research open-data discrete-mathematics graph-theory combinatorics planar-graphs conjectures open-problems plane-graphs computer-assisted-proof certificate-verification certified-computation alternating-plane-graphs rotation-systems
-
Updated
Sep 8, 2026 - Python
世界著名数学猜想的精确陈述与通俗解释 | Famous mathematical conjectures, precisely stated and simply explained
-
Updated
Aug 16, 2026
Hunts counterexamples to number-theory conjectures and publishes seeded, replayable search ledgers.
python reproducible-research mathematics computational-mathematics research-tool formal-verification number-theory conjectures lean4
-
Updated
Sep 6, 2026 - Python
Add this topic to your repo
To associate your repository with the conjectures topic, visit your repo's landing page and select "manage topics."