proofx

Here are 2 public repositories matching this topic...

MohammedAlkindi / ProofX

Official frontend for ProofX, enabling exploration, visualization, and reproducible experiments in computational mathematics.

research math hpc reproducible-research high-performance-computing research-tool research-project computational-science mathematical-modelling number-theory research-website research-platform pure-mathematics mathematical-visualization proofx

Updated Apr 30, 2026
Python

An AI-powered conjecture exploration engine. Generates candidate mathematical hypotheses via LLM, auto-formalizes them in Lean 4, and logs every experiment in a reproducible, snapshot-based research environment. Built on ProofX infrastructure.

reproducible-research theorem-proving computational-mathematics formal-verification lean4 proofx ai-for-math conjecture-generation

Updated Apr 25, 2026
Python

Improve this page

Add a description, image, and links to the proofx topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proofx topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

proofx

Here are 2 public repositories matching this topic...

MohammedAlkindi / ProofX

MohammedAlkindi / Germinal

Improve this page

Add this topic to your repo