5 results found Sort:
- Filter by Primary Language:
- Lean (2)
- C++ (1)
- Python (1)
- TeX (1)
- +
Lean 3's obsolete mathematical components library: please use mathlib4
This repository has been archived
(exclude archived)
Created
2017-07-21
18,271 commits to master branch, last one about a year ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
696 commits to main branch, last one 3 days ago
The Principia Rewrite
Created
2020-09-27
66 commits to master branch, last one 5 months ago
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
132 commits to master branch, last one about a month ago
Template for blueprint-driven formalization projects in Lean.
Created
2024-07-26
93 commits to main branch, last one a day ago