parser/viewer for olean files (lean 3)
☆13May 8, 2019Updated 6 years ago
Alternatives and similar repositories for olean-rs
Users that are interested in olean-rs are comparing it to the libraries listed below
Sorting:
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Intuitive, type-safe expression quotations for Lean 4.☆101Feb 17, 2026Updated last week
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆185Updated this week
- ☆16Jan 4, 2021Updated 5 years ago
- Tool for compiling Lean to WASM☆24Mar 17, 2024Updated last year
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Updated this week
- GitHub action for standard CI in Lean projects☆31Jan 15, 2026Updated last month
- ☆19Sep 29, 2021Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- Content content-addressable data feed☆25Mar 14, 2019Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Nov 7, 2018Updated 7 years ago
- ☆24Feb 23, 2022Updated 4 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- ☆275Feb 28, 2025Updated 11 months ago
- Discussion of MeTTa programming with examples☆36Sep 1, 2025Updated 5 months ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- Write C shims from within Lean code.☆82Jul 13, 2025Updated 7 months ago
- Lean 4 kernel / 'external checker' written in Lean 4☆160Feb 2, 2026Updated 3 weeks ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- Formalized quantum computing in Lean theorem prover☆34Mar 6, 2021Updated 4 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆98Updated this week
- ☆12Feb 18, 2024Updated 2 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 4 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- LaTeX code for a paper on lean's type theory☆163Aug 2, 2022Updated 3 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆94Feb 19, 2026Updated last week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆43Jan 3, 2025Updated last year
- The "batteries included" extended library for the Lean programming language and theorem prover☆361Updated this week
- ☆44Jan 15, 2026Updated last month
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago