a Lean4 framework for the modeling and refinement of stateful systems
☆25Dec 19, 2025Updated 2 months ago
Alternatives and similar repositories for lean-machines
Users that are interested in lean-machines are comparing it to the libraries listed below
Sorting:
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- ☆14Feb 14, 2025Updated last year
- A parser for ANSI C, in Lean4.☆22Nov 16, 2023Updated 2 years ago
- A WIP definitional (co)datatype package for Lean4☆47Feb 21, 2026Updated last week
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆24Feb 16, 2026Updated 2 weeks ago
- A Lean4 Formalization of Polynomial Functors☆27Dec 22, 2025Updated 2 months ago
- A verified tensor library in Lean☆36Oct 9, 2025Updated 4 months ago
- ☆82Updated this week
- Formalized Cryptography Proofs in Lean 4☆66Feb 28, 2026Updated last week
- a fast uniform random tree generator☆31Apr 17, 2023Updated 2 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 9 months ago
- ☆56Feb 20, 2026Updated 2 weeks ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Feb 14, 2023Updated 3 years ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- computable implementation of real numbers in Lean4☆45Jul 6, 2025Updated 8 months ago
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- Nanos klib for NVIDIA GPUs☆14Mar 25, 2025Updated 11 months ago
- Interactive decks with KLIPSE☆11Jan 24, 2023Updated 3 years ago
- lean code☆10Jan 3, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆13Jul 8, 2024Updated last year
- The Quest Operating System☆49Dec 4, 2024Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆48Aug 27, 2025Updated 6 months ago
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- ☆12Apr 21, 2021Updated 4 years ago
- Programming Language Foundations in Lean☆48Jul 22, 2025Updated 7 months ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Basic Unicode support for Lean 4☆15Updated this week
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆32Feb 18, 2026Updated 2 weeks ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- ☆14Feb 26, 2026Updated last week
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- A script for running Rocksmith (2014) from Steam Proton☆12Jan 20, 2021Updated 5 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago