sahanbull / VLE-DatasetLinks
☆11Updated 2 years ago
Alternatives and similar repositories for VLE-Dataset
Users that are interested in VLE-Dataset are comparing it to the libraries listed below
Sorting:
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆51Updated 2 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Updated 2 weeks ago
- Code from CS152 lectures☆13Updated last week
- Lecture notes from Cambridge maths☆71Updated last year
- ☆17Updated 3 years ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Updated 2 years ago
- Book about using Lean with How To Prove It☆24Updated this week
- Lean 4 tutorial files☆46Updated last month
- ☆10Updated 6 months ago
- ☆28Updated 6 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.☆61Updated 2 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆33Updated 3 months ago
- Lean 定理证明☆21Updated 3 months ago
- Fermat's Last Theorem for regular primes☆61Updated this week
- Visual Studio Code extension for the Lean 4 proof assistant☆246Updated this week
- SorryDB indexes sorries in public lean repositories☆40Updated this week
- Lindemann–Weierstrass Theorem☆12Updated last year
- ☆26Updated 3 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆24Updated last year
- ☆24Updated 5 months ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆18Updated 3 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆241Updated 9 months ago
- AI for Mathematics Paper List☆17Updated 11 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆57Updated 4 years ago
- Theorem Proving in Lean 4☆225Updated last week
- ☆15Updated 2 weeks ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years ago
- A Lean4 plugin for the Intellij Platform☆17Updated this week