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
725 commits to main branch, last one 15 days ago
The Principia Rewrite
Created
2020-09-27
70 commits to master branch, last one about a month ago
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
133 commits to master branch, last one 2 months ago
Template for blueprint-driven formalization projects in Lean.
Created
2024-07-26
128 commits to main branch, last one 5 days ago