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 310 public repositories matching this topic...
-
Updated
Apr 14, 2021 - Lean
A more flexible alternative macro expansion for Lean 4's numeric literals.
-
Updated
May 22, 2021 - Lean
Some initial experiments with the Lean 4 theorem prover, exploring possibilities for interaction with HLM.
-
Updated
Jun 6, 2021 - Lean
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
-
Updated
Jul 1, 2021 - Lean
A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
-
Updated
Sep 20, 2021 - SMT
My Solutions using Lean 4 for the 2021 edition of the Advent of Code
-
Updated
Dec 22, 2021 - Lean
-
Updated
Jan 3, 2022 - Lean
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia