68 results found Sort:

459
5.0k
apache-2.0
66
Lean 4 programming language and theorem prover
Created 2018-04-15
35,094 commits to master branch, last one 9 hours ago
367
1.7k
apache-2.0
37
The math library of Lean 4
Created 2021-05-09
17,871 commits to master branch, last one 8 hours ago
LLMs as Copilots for Theorem Proving in Lean
Created 2023-09-09
736 commits to main branch, last one a day ago
Tool for data extraction and interacting with Lean programmatically.
Created 2023-06-13
592 commits to main branch, last one about a month ago
Lean theorem proving interface which feels like pen-and-paper proofs.
Created 2023-03-16
862 commits to main branch, last one 4 days ago
32
362
apache-2.0
20
Scientific computing in Lean 4
Created 2021-09-27
1,872 commits to master branch, last one about a month ago
Neovim support for the Lean theorem prover
Created 2020-12-30
1,975 commits to main branch, last one 2 days ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created 2022-08-28
1,010 commits to main branch, last one a day ago
Retrieval-Augmented Theorem Provers for Lean
Created 2023-03-16
125 commits to main branch, last one 5 days ago
This repository has no description...
Created 2022-03-23
294 commits to master branch, last one 22 hours ago
Server to host lean games.
Created 2022-10-17
1,082 commits to main branch, last one 6 days ago
White-box automation for Lean 4
Created 2021-06-01
820 commits to master branch, last one a day ago
100
226
unknown
3
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Created 2022-01-24
271 commits to main branch, last one about a month ago
Theorem Proving in Lean 4
Created 2021-08-24
1,085 commits to master branch, last one 3 months ago
20
163
apache-2.0
7
Tactics for discharging Lean goals into SMT solvers.
Created 2021-11-23
146 commits to main branch, last one 9 days ago
40
139
apache-2.0
11
Natural Number Game
Created 2023-04-25
555 commits to main branch, last one 3 days ago
5
132
apache-2.0
7
A simple raytracer written in Lean 4
Created 2021-01-31
26 commits to master branch, last one 8 months ago
23
128
apache-2.0
8
Catalog Of Math Problems Formalized In Lean
Created 2022-12-06
2,359 commits to main branch, last one a day ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created 2022-11-15
363 commits to main branch, last one a day ago
llmstep: [L]LM proofstep suggestions in Lean 4.
Created 2023-07-08
73 commits to master branch, last one about a year ago
ChatGPT plugin for theorem proving in Lean
Created 2023-06-21
14 commits to main branch, last one 10 months ago
18
99
apache-2.0
10
Formalizing stochastic doubly-efficient debate
Created 2023-11-24
22 commits to main branch, last one 4 months ago
20
98
apache-2.0
14
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
This repository has been archived (exclude archived)
Created 2021-05-29
701 commits to master branch, last one about a year ago
The matrix cookbook, proved in the Lean theorem prover
Created 2021-10-21
133 commits to master branch, last one 2 months ago
Lean4 Logic Formalization
Created 2023-02-11
624 commits to master branch, last one 3 days ago
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Created 2024-05-27
14 commits to master branch, last one 8 months ago
42
79
apache-2.0
14
Document Generator for Lean 4
Created 2021-11-11
597 commits to main branch, last one 21 hours ago
The Lean 4 web editor
Created 2022-10-25
350 commits to main branch, last one 22 days ago
Intuitive, type-safe expression quotations for Lean 4.
Created 2021-05-08
179 commits to master branch, last one a day ago
9
75
apache-2.0
5
Mathlib search tool
Created 2023-08-19
261 commits to master branch, last one 16 days ago