Running sublean
☆11Nov 5, 2026Updated this week
Alternatives and similar repositories for leanexe
Users that are interested in leanexe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VeraBench: a benchmark suite for LLM code generation in Vera☆15Sep 22, 2026Updated last month
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Modern mocking library for Python.☆11Dec 21, 2022Updated 3 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year
- Small, configurable proof search for inductive Lean goals☆27Sep 30, 2026Updated last month
- 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.
- Lean 4 kernel with NbE☆19Oct 28, 2026Updated last week
- A Job Board for Formal Verification☆97Updated this week
- ☆58Updated this week
- ☆11Oct 2, 2026Updated last month
- An implementation of Horton hash tables☆10Aug 24, 2016Updated 10 years ago
- Python SDK for WildEdge☆17Oct 27, 2026Updated last week
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- Fuse: a desktop workspace for Lean formalization with AI agents☆13Oct 19, 2026Updated 2 weeks ago
- The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical pro…☆53Oct 12, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- Verified Lean typechecker☆17Updated this week
- A controlled natural language syntax for Lean.☆16Updated this week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- ☆14Nov 18, 2025Updated 11 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- MAVLink protocol implementation for Go☆17Mar 23, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Megalodon interactive theorem prover and proof checker☆15Apr 14, 2024Updated 2 years ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Laws about stateful rules, proven in TypeScript: a small trusted kernel, an untrusted prover, a Lean twin, and GPU searches for counterex…☆29Updated this week
- Tools for writing good AI generated papers☆18Oct 24, 2026Updated last week
- Semantics for Cryptol☆16Apr 9, 2018Updated 8 years ago
- Simple message (event/command) bus.☆32Apr 20, 2021Updated 5 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆45Sep 28, 2026Updated last month
- Open source, multiplatform alternative to Authy. An authenticator and 2fa code generator to use across multiple devices and platforms in …☆13Dec 3, 2025Updated 11 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.
- RISC-V Specification in Coq☆14Sep 17, 2018Updated 8 years ago
- A Knob For Claude☆22May 13, 2026Updated 5 months ago
- ☆14Nov 23, 2016Updated 9 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- ☆18Oct 13, 2026Updated 3 weeks ago
- Provides support for attachment management for Taskwarrior☆12Apr 19, 2012Updated 14 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago