#
lean4
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
Here are 80 public repositories matching this topic...
neovim support for the Lean theorem prover
-
Updated
May 30, 2022 - Lua
Framework for scientific computing written in Lean
-
Updated
Jun 2, 2022 - Lean
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
-
Updated
Jul 1, 2021 - Lean
Lean 4 build system and package manager with configuration files written in Lean.
-
Updated
Jun 3, 2022 - Lean
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
-
Updated
May 7, 2022 - Lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
-
Updated
Apr 18, 2022 - C
A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
-
Updated
Sep 20, 2021 - SMT
Experiments with some ways of automating reasoning in lean 4
-
Updated
Jun 1, 2022 - Jupyter Notebook
Created by Leonardo de Moura
Released 2013
Latest release over 3 years ago
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia