☆15Jul 9, 2026Updated 3 months ago
Alternatives and similar repositories for xeus-lean
Users that are interested in xeus-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- ☆16Mar 14, 2024Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- A Lean 4 formalization of partial combinatory algebras.☆15Jan 6, 2025Updated last year
- Write Python modules in Lean! (WIP)☆16Updated this week
- 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.
- ☆14Updated this week
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- ☆14Mar 23, 2026Updated 7 months ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- ☆17Oct 13, 2026Updated 2 weeks ago
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- (Mirror) A Music formalization library and DSL in Lean 4☆27Aug 25, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Small, configurable proof search for inductive Lean goals☆26Sep 30, 2026Updated last month
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆67Jul 18, 2024Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- Agent-ready JupyterLab with opinionated extras☆22Updated this week
- A JupyterLite app to present your documents in different ways☆16Oct 9, 2026Updated 3 weeks ago
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- ☆17Updated this week
- ☆12Mar 2, 2026Updated 7 months ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆36Mar 13, 2026Updated 7 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.
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ☆12Nov 4, 2022Updated 3 years ago
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- ☆22Nov 23, 2023Updated 2 years ago
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- Proof infrastructure about LTL in Lean 4☆40Oct 13, 2026Updated 2 weeks ago
- ☆12Feb 17, 2025Updated last year
- 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.
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated last week
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Tools to pack a conda / mamba environment into a JS & WASM bundle☆24Jun 11, 2026Updated 4 months ago
- ☆10Apr 10, 2026Updated 6 months ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- ☆19Feb 10, 2026Updated 8 months ago
- A simple raytracer written in lean☆13Jan 13, 2021Updated 5 years ago