teorth / erdos-guy-selfridgeLinks
Project to verify the Guy-Selfridge conjectures
☆17Updated this week
Alternatives and similar repositories for erdos-guy-selfridge
Users that are interested in erdos-guy-selfridge are comparing it to the libraries listed below
Sorting:
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 10 months ago
- ☆10Updated last year
- Category Theory & Cobordism Categories in Lean 4☆16Updated 11 months ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated 2 weeks ago
- How to read Lean☆17Updated 4 months ago
- ☆11Updated last year
- A formalized proof of Carleson's theorem in Lean☆55Updated this week
- Repository for the conference LFTCM2024☆11Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆71Updated last week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆24Updated last week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆58Updated last month
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- ☆12Updated 10 months ago
- Exponent pair database☆53Updated last week
- Verified efficient algorithms in Lean4.☆27Updated 2 months ago
- Template for blueprint-driven formalization projects in Lean.☆54Updated this week
- ☆23Updated 3 years ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago
- Lean documentation authoring tool☆167Updated this week
- ☆10Updated 3 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆53Updated 10 months ago
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆34Updated this week
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated 10 months ago
- Book about using Lean with How To Prove It☆18Updated last week
- Plain-text declaration export for Lean 4☆16Updated last week
- ☆13Updated last month