Links to recourses for the Lean Theorem Prover
☆12Dec 3, 2019Updated 6 years ago
Alternatives and similar repositories for lean-links
Users that are interested in lean-links are comparing it to the libraries listed below
Sorting:
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- ☆16Dec 3, 2023Updated 2 years ago
- Remote MCP Server built using Cloudflare Workers.☆29Jun 3, 2025Updated 9 months ago
- Formalization of the existence of sphere eversions☆47Feb 18, 2026Updated 2 weeks ago
- Math expression parser and evaluator☆23May 6, 2018Updated 7 years ago
- Tool for compiling Lean to WASM☆24Mar 17, 2024Updated last year
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Updated this week
- A bad XML parser☆22Sep 2, 2024Updated last year
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 3 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- Python client to interact with the lean4 language server.☆40Jan 12, 2026Updated last month
- Lean for the Curious Mathematician 2020☆68Oct 24, 2023Updated 2 years ago
- Repozytorium materiałów o szczepieniach dla rodziców☆11Nov 28, 2017Updated 8 years ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- A multiphase field model based on machine learning method☆49Feb 10, 2022Updated 4 years ago
- ☆19Updated this week
- Neural network compatible DDEs☆13Apr 8, 2025Updated 10 months ago
- Projection operator method for statistical data analysis☆10Mar 11, 2025Updated 11 months ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- Easy Setup, File-based, Offline Capable Federated Learning and Computations☆22Feb 11, 2026Updated 3 weeks ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Python Library for Lazy Interfaces☆35Sep 27, 2018Updated 7 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- Toolkit for Bayesian scaling analysis☆14Sep 8, 2022Updated 3 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Photonic Quantum Machine Learning Framework☆19Feb 18, 2026Updated 2 weeks ago
- ☆13Aug 6, 2025Updated 6 months ago
- ☆12Dec 19, 2023Updated 2 years ago
- ☆13Oct 14, 2021Updated 4 years ago
- Dynamic mode decomposition in Python☆13Jun 9, 2015Updated 10 years ago
- This repository contains the scripts for reproducing the results presented in Costa AC, Ahamed T, Jordan D, Stephens GJ (2023) "A Markov…☆11Sep 25, 2025Updated 5 months ago
- Zig build and bindings for quickjs-ng☆98Jan 6, 2026Updated last month
- 🌀 A minimal C library offering generic, contiguous dynamic arrays with O(1) amortized push.☆19Sep 22, 2025Updated 5 months ago
- Rust NIF for fast JWT signing☆10Feb 5, 2026Updated last month
- An ontology of imaging and related techniques and technologies, image processing and analysis, image data and formats, within bio- and ot…☆12Oct 26, 2025Updated 4 months ago