☆39Sep 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for Zeta5
Users that are interested in Zeta5 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆21Updated this week
- ☆268Sep 8, 2026Updated last month
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆72Updated this week
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matr…☆41Updated this week
- ☆21Mar 4, 2026Updated 7 months ago
- ☆230Aug 2, 2026Updated 2 months ago
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last week
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆18Jul 20, 2026Updated 2 months ago
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆26Jun 8, 2026Updated 4 months ago
- 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.
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆286Updated this week
- ☆303Oct 6, 2026Updated last week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- New results and AI-powered research on the square packing problem☆40Updated this week
- Supplemental material for the "Beyond Notations" paper☆10Feb 7, 2023Updated 3 years ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- ☆141Updated this week
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years 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.
- ☆13Jun 11, 2023Updated 3 years ago
- ☆35Sep 2, 2026Updated last month
- ☆27Apr 16, 2026Updated 6 months ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆34Mar 9, 2026Updated 7 months ago
- Code that searches for ribbon bands☆18Jul 3, 2026Updated 3 months ago
- An external lean checker with a proof of consistency☆137Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- A rust port of con-leche☆32Updated this week
- ☆136Jul 9, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆17May 18, 2022Updated 4 years ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- ☆56Updated this week
- Vermilion: Verus meets Lean☆58Updated this week
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- ☆34Jul 21, 2026Updated 2 months ago