☆293Sep 11, 2025Updated 5 months ago
Alternatives and similar repositories for strongpnt
Users that are interested in strongpnt are comparing it to the libraries listed below
Sorting:
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- SorryDB indexes sorries in public lean repositories☆42Updated this week
- Blueprint for the PNT+ Project☆270Updated this week
- ☆76Jan 8, 2026Updated last month
- 几何表达式仓库☆11Nov 4, 2025Updated 3 months ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- Tactics for discharging Lean goals into SMT solvers.☆262Feb 19, 2026Updated last week
- Our solution to Putnam 2025.☆77Jan 9, 2026Updated last month
- ☆42Dec 16, 2025Updated 2 months ago
- Central limit theorem in Lean☆15Dec 27, 2025Updated 2 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆64Updated this week
- A Lean 4 Jupyter kernel via repl☆35Nov 19, 2024Updated last year
- Catalog Of Math Problems Formalized In Lean☆234Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆35Feb 21, 2026Updated last week
- Construction of a Brownian Motion in Lean☆41Updated this week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆84Nov 17, 2025Updated 3 months ago
- LeanInteract: A Python Interface for Lean 4☆105Feb 22, 2026Updated last week
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 6 months ago
- Formalization of the Millennium Problems in Lean 4☆44Jan 16, 2026Updated last month
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆66Jan 31, 2026Updated last month
- An interaction combinator runtime☆18Sep 23, 2024Updated last year
- ☆165Jan 27, 2026Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆191Updated this week
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 2 weeks ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆18Feb 19, 2026Updated last week
- ☆57Dec 1, 2025Updated 3 months ago
- A project to digitalise results from physics into Lean.☆498Updated this week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated last week
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated last week
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆24Feb 16, 2026Updated 2 weeks ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆361Updated this week
- Lean Theorem Prover MCP☆293Updated this week
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated 6 months ago
- A collection of formalized statements of conjectures in Lean.☆836Updated this week
- Natural language tactics to teach mathematics using Lean 4☆118Feb 11, 2026Updated 2 weeks ago
- ☆26Jul 16, 2025Updated 7 months ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆22Aug 17, 2024Updated last year
- A "code intepreter" for Lean☆81Jan 16, 2026Updated last month