Lindemann–Weierstrass Theorem
☆11May 4, 2024Updated last year
Alternatives and similar repositories for transcendental
Users that are interested in transcendental are comparing it to the libraries listed below
Sorting:
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- ☆14Updated this week
- The root repository for the SpectralSequences project.☆31Feb 28, 2026Updated last week
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 3 weeks ago
- ☆25Apr 21, 2021Updated 4 years ago
- ☆18Jan 22, 2026Updated last month
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Mar 3, 2026Updated last week
- A static analysis tool for Lean 4.☆114Mar 2, 2026Updated last week
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆30Apr 3, 2024Updated last year
- Verified efficient algorithms in Lean4.☆37Jan 3, 2026Updated 2 months ago
- ☆30Sep 8, 2023Updated 2 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- ☆42May 29, 2025Updated 9 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆10Jan 30, 2026Updated last month
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- 🚀 Sum of the primes below x☆40Jun 17, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆50May 15, 2023Updated 2 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- ☆14Feb 26, 2026Updated last week
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Updated this week
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago