lean-theorem-prover

Here are 9 public repositories matching this topic...

pitmonticone / LeanProject

Template for blueprint-driven formalization projects in Lean.

theorem-proving mathematics proof-assistant formal-mathematics mathematical-programming lean-theorem-prover lean4 formalisation-mathematics lean-blueprint formalised-mathematics leanblueprint

Updated Jun 16, 2025
Python

bhgomes / lean-riemann-hypothesis

Code

Issues

Pull requests

Riemann Hypothesis in Lean

lean mathlib lean-theorem-prover riemann-hypothesis

Updated Mar 3, 2021

Lean

RiccardoBiosas / LeanGPT

Star 21

Code

Issues

Pull requests

Experiments with interactive theorem provers, LLMs and formal systems

math interactive-theorem-proving theorem-prover ai-agents formal-proofs lean-theorem-prover ai-assisted-development gpt-3 llm chatgpt langchain

Updated Jul 10, 2023

Coq

adyavanapalli / natural-number-game-solutions

Star 20

Code

Issues

Pull requests

Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.

lean natural-numbers formal-mathematics peano theorem-prover microsoft-research lean-theorem-prover imperial-college-london gamified-learning

Updated Dec 12, 2021

vaibhavkarve / igl2020

Star 7

Code

Issues

Pull requests

Lean project for Fall 2020

logic mathematics uiuc model-theory lean-theorem-prover illinois-geometry-lab

Updated Jan 17, 2022

Lean

bhgomes / jensen

Star 1

Code

Issues

Pull requests

a Lean implementation of Jensen's Inequality

lean lean-theorem-prover leanprover jensen-inequality

Updated Jun 21, 2023

Lean

MikeMKH / kata

Star 1

Code

Issues

Pull requests

Used to store short program examples

csharp idris racket-lang lean-theorem-prover

Updated Nov 21, 2018

Racket

brendanny / natural-number-game

Star 0

Code

Issues

Pull requests

Learning how to use the Lean theorem prover

theorem-proving mathematics proof-assistant lean-theorem-prover

Updated Apr 24, 2024

rwst / infinite-primes-via-log

Star 0

Code

Issues

Pull requests

lean lean-theorem-prover lean4

Updated Jul 14, 2024

HTML

Improve this page

Add a description, image, and links to the lean-theorem-prover 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 lean-theorem-prover 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

lean-theorem-prover

Here are 9 public repositories matching this topic...

pitmonticone / LeanProject

bhgomes / lean-riemann-hypothesis

RiccardoBiosas / LeanGPT

adyavanapalli / natural-number-game-solutions

vaibhavkarve / igl2020

bhgomes / jensen

MikeMKH / kata

brendanny / natural-number-game

rwst / infinite-primes-via-log

Improve this page

Add this topic to your repo