☆72Oct 14, 2026Updated this week
Alternatives and similar repositories for Lea
Users that are interested in Lea are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- A rust port of con-leche☆31Updated this week
- Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)☆110Updated this week
- A persistent native vector-hypergraph database for higher-order interactions☆24Updated this week
- ☆302Oct 6, 2026Updated last 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.
- An external lean checker with a proof of consistency☆135Updated this week
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- Esoteric Programming Languages, Formally☆61Sep 6, 2026Updated last month
- ☆12Mar 31, 2024Updated 2 years ago
- An open protocol for distributed multi-agent autoformalization.☆116Oct 1, 2026Updated 2 weeks ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- Verified Optimizing Compiler for Cryptographic Primitives☆41Jun 9, 2026Updated 4 months ago
- 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.
- Fully deterministic cross-device LLMs inference☆52Oct 2, 2026Updated 2 weeks ago
- An auto-active program verifier in Lean☆128Oct 8, 2026Updated last week
- 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
- Development repo for translating Software Foundations to Lean☆186Updated this week
- ☆14Jul 20, 2026Updated 2 months ago
- ☆97Updated this week
- ☆268Sep 8, 2026Updated last month
- declarative self-improving language-model programs for Elixir 😇☆255Updated this week
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 6 months ago
- 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.
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 6 months ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Oct 7, 2026Updated last week
- LeanEff is a small Lean 4 extensible-effects library☆22Updated this week
- ☆27Apr 16, 2026Updated 6 months ago
- Static blog engine☆37Apr 5, 2012Updated 14 years ago
- a zero-knowledge proof-carrying code protocol for Lean 4☆104Updated this week
- ☆141Updated this week
- Acorn's standard library of mathematical facts.☆62Sep 4, 2026Updated last month
- 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.
- ☆230Aug 2, 2026Updated 2 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- A universal GUI for coding harnesses.☆71Updated this week
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆16Jul 11, 2026Updated 3 months ago
- Factorseal is a local secrets vault for Linux, macOS, and Windows.☆77Updated this week
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago