astrainfinita / transcendentalView external linksLinks
Lindemann–Weierstrass Theorem
☆12May 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 11 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆14Updated this week
- The root repository for the SpectralSequences project.☆32Dec 26, 2025Updated last month
- ☆25Apr 21, 2021Updated 4 years ago
- All the math/tex files for the Automorphic Project☆19Updated this week
- ☆18Jan 22, 2026Updated 3 weeks ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Jan 27, 2026Updated 3 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆27Dec 31, 2025Updated last month
- A static analysis tool for Lean 4.☆113Updated this week
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 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.☆36Jan 3, 2026Updated last month
- ☆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
- ☆42May 29, 2025Updated 8 months ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 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 2 weeks ago
- ☆11Feb 18, 2024Updated 2 years ago
- 🚀 Sum of the primes below x☆39Jun 17, 2022Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆50May 15, 2023Updated 2 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Chinese Translation of the Docbook Prince Version of the Complete Lojban Language☆10Jul 18, 2021Updated 4 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago