Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
☆14Jan 16, 2022Updated 4 years ago
Alternatives and similar repositories for lean-maths-examples
Users that are interested in lean-maths-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆43Nov 12, 2022Updated 3 years ago
- https://1000-plus.github.io/☆26Jul 22, 2026Updated 3 months ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- ☆12Jun 30, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 6 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- ☆34Jun 15, 2025Updated last year
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- A simple raytracer written in lean☆13Jan 13, 2021Updated 5 years ago
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- Building group theory from scratch in Lean☆68Jan 24, 2021Updated 5 years ago
- Lean Companion to Axler's Linear Algebra Done Right☆30Updated this week
- Tutorial series introducing Agda to the people at BCAM☆29Nov 29, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- ☆19Oct 27, 2026Updated last week
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- ☆20Jun 1, 2024Updated 2 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- ☆10Jul 18, 2025Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆317Mar 9, 2024Updated 2 years ago
- ☆16Sep 18, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Mar 9, 2024Updated 2 years ago
- Tools for writing good AI generated papers☆17Oct 24, 2026Updated last week
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆86Feb 5, 2023Updated 3 years ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- A Rust implementation of the Lean kernel☆10Jan 2, 2023Updated 3 years ago
- Semantic Search Over 9 million Mathematical Theorems☆25Oct 3, 2026Updated last month
- ☆38Jul 3, 2026Updated 4 months ago
- ☆12Aug 21, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generate HTML documentation for mathlib and Lean☆22Oct 2, 2026Updated last month
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Aug 24, 2023Updated 3 years ago
- ☆35Sep 2, 2026Updated 2 months ago
- Code to verify citations in a bibtex file☆19Mar 14, 2026Updated 7 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆89Oct 29, 2026Updated last week
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- ☆28May 23, 2022Updated 4 years ago