☆1,264Sep 24, 2026Updated 2 weeks ago
Alternatives and similar repositories for fermats-last-theorem
Users that are interested in fermats-last-theorem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆127Oct 3, 2026Updated last week
- White-box automation for Lean 4☆407Updated this week
- Formalization of the Rupert Problem for convex polyhedra.☆19Sep 10, 2026Updated last month
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆218Updated this week
- ☆237Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Apr 25, 2022Updated 4 years ago
- Lean documentation authoring tool☆394Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆313Updated this week
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 2 months ago
- The math library of Lean 4☆4,279Updated this week
- The Lean Computer Science Library (CSLib)☆743Updated this week
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- A translation framework for eliminating definitional equalities in Lean☆17Jun 17, 2026Updated 3 months ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A project to digitalise results from physics into Lean.☆780Updated this week
- A template for blueprint-driven formalization projects in Lean.☆117Oct 2, 2026Updated last week
- ☆49Updated this week
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year
- An external lean checker with a proof of consistency☆124Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆211Sep 22, 2026Updated 2 weeks ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆59Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆1,042Updated this week
- Issue tracker for https://alphaxiv.org☆26Oct 13, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Updated this week
- Visualization of the surreal number tree.☆11Nov 19, 2021Updated 4 years ago
- POSTECH: Compiler Construction (Spring 2022)☆11Mar 10, 2023Updated 3 years ago
- A collection of formalized statements of conjectures in Lean.☆1,316Updated this week
- computable implementation of real numbers in Lean4☆55Jul 6, 2025Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆228Updated this week
- plasTeX plugin to build formalization blueprints.☆382Dec 23, 2025Updated 9 months ago
- Plain-text declaration export for Lean 4☆42Sep 24, 2026Updated 2 weeks ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆28Mar 10, 2026Updated 7 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆233Updated this week
- A project to map out the relations between different equational theories of Magmas.☆560Sep 12, 2026Updated 3 weeks ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- The core implementation of the Acorn language.☆52Jul 15, 2026Updated 2 months ago