ForeverHaibara / Prover
Auto math prover.
☆10Updated 8 months ago
Alternatives and similar repositories for Prover:
Users that are interested in Prover are comparing it to the libraries listed below
- ☆22Updated 4 months ago
- Homepage of the Lean-zh website.☆21Updated this week
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- ☆10Updated last year
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆22Updated this week
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆11Updated 11 months ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆72Updated 2 months ago
- Examples using MetaProgramming for writing tactics etc.☆18Updated last month
- ☆15Updated 2 months ago
- Lindemann–Weierstrass Theorem☆11Updated 10 months ago
- ☆12Updated last month
- Lean4中文教程☆34Updated 2 months ago
- VSCode extension for bTeX.☆20Updated last year
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆18Updated 2 weeks ago
- The TeX for Adams' blue book, by the group TeXromancers☆11Updated last year
- Isabelle REPL☆20Updated this week
- Verified efficient algorithms in Lean4.☆27Updated last week
- Lean 定理证明☆13Updated 3 months ago
- The root repository for the SpectralSequences project.☆28Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- A static analysis tool for Lean 4.☆67Updated this week
- A formalized proof of Carleson's theorem in Lean☆48Updated this week
- Repository for the conference LFTCM2024☆11Updated 11 months ago
- Formalization of IMO shortlist problems in Lean 4☆14Updated 2 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆16Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆55Updated 2 weeks ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- ☆47Updated last year
- A formalization of the Rubik's cube group☆27Updated 4 years ago