Auto math prover.
☆10Jul 10, 2024Updated 2 years ago
Alternatives and similar repositories for Prover
Users that are interested in Prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 5 months ago
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Formal verification of the Intmax protocol in Lean.☆11Jun 20, 2025Updated last year
- 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.
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Oct 17, 2026Updated 2 weeks ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated 2 months ago
- ☆14Feb 26, 2026Updated 8 months ago
- Information theory and hypothesis testing, in Lean☆17Oct 13, 2026Updated 2 weeks ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆38Oct 22, 2026Updated last week
- A Lean 4 formalization of Chen's theorem (Goldbach 1+2).☆22Updated this week
- 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.
- This is sound source definition file of Domino for Roland SD-80.☆12May 1, 2016Updated 10 years ago
- ☆18Jul 26, 2020Updated 6 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- Accompanying code for the ICML'23 paper "Unscented Autoencoder", authored by Faris Janjos, Lars Rosenbaum, Maxim Dolgov, and J. Marius Zo…☆10Sep 14, 2023Updated 3 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- MA4N1 Theorem Proving with Lean☆19Updated this week
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- A Lean (4) type checker written in RPython☆11Oct 19, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Mar 10, 2026Updated 7 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 2 weeks ago
- Teaching material for COMP30027/COMP90049 Machine Learning☆13Oct 20, 2023Updated 3 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆19Feb 3, 2024Updated 2 years ago
- Functional Programming in Lean の日本語訳. 演習問題への解答を含みます☆12Dec 14, 2024Updated last year
- A simple command-line bibtex query utility written in Lean 4☆11Oct 14, 2026Updated 2 weeks ago
- Formalizing convex polyhedra in Coq☆24Oct 7, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆32Jun 27, 2024Updated 2 years ago
- Formally verified numerical integration of an ordinary differential equation☆13May 18, 2026Updated 5 months ago
- PMD to MIDI converter.☆18Nov 12, 2022Updated 3 years ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- A collections of scripts I wrote for bitburner.☆10May 13, 2023Updated 3 years ago