☆24May 3, 2026Updated 6 months ago
Alternatives and similar repositories for lean-atlas
Users that are interested in lean-atlas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs☆19Sep 14, 2026Updated 2 months ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 4 months ago
- Formal Verification for Ethereum☆11Oct 29, 2026Updated 2 weeks ago
- ☆12Aug 14, 2024Updated 2 years ago
- Proof of concept for a Frequent Batch Auction on Suave.☆16Jul 4, 2024Updated 2 years 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.
- ☆32Oct 12, 2026Updated last month
- Write and prove functions in Lean 4, run them as Rust, Python, TypeScript and Clojure☆29Updated this week
- ☆17Mar 20, 2023Updated 3 years ago
- ☆15Sep 12, 2026Updated 2 months ago
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated last month
- Utility module for AWS CloudFront in Rust allowing you to create signed urls and cookies☆14Mar 14, 2025Updated last year
- ☆27Oct 24, 2026Updated 3 weeks ago
- ☆23Sep 25, 2026Updated last month
- A controlled natural language syntax for Lean.☆63Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆17Jan 27, 2025Updated last year
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆18Apr 16, 2026Updated 6 months ago
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- ☆19Jul 13, 2026Updated 4 months ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 5 months ago
- Tools for Crypto.org Chain wallet management and offline transaction signing☆10Mar 6, 2023Updated 3 years ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- Build structured Proof Blueprints with Verso☆49Updated this week
- ☆25Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Templates for getting started with Verso☆40Oct 28, 2026Updated 2 weeks ago
- Natural language Lean☆14Updated this week
- Jai WASM Plugin☆12Nov 13, 2023Updated 3 years ago
- 📟 The console client for Olivia☆15Oct 20, 2022Updated 4 years ago
- Stork - Leveraging social identity for transacting digital assets☆16Mar 16, 2023Updated 3 years ago
- The official eykar client, a react website designed to be hosted on ipfs. It will eventually allow interaction with the eykar contract on…☆12Oct 10, 2025Updated last year
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆32Jul 8, 2026Updated 4 months ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- The Noperthedron does not have Rupert Property: a proof in Lean4☆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 the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆19Jan 3, 2026Updated 10 months ago
- ☆12Dec 6, 2021Updated 4 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Poseidon hash implementation in Rust☆26Oct 27, 2026Updated 2 weeks ago
- A document repository for the CWE AI Working Group, a forum for CWE™ and CVE® community stakeholders to identify and address gaps in the …☆17Sep 8, 2026Updated 2 months ago
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆16Oct 13, 2026Updated last month
- A Quantum Computing Library in LEAN☆28Jul 14, 2026Updated 4 months ago
Are these results useful?