leanprover
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 14 public repositories matching this topic...
Ground Zero: Lean 4 HoTT Library
-
Updated
Aug 1, 2024 - Lean
Category Theory & Cobordism Categories in Lean 4
-
Updated
Jun 27, 2024 - Lean
IRC-bot written in Lean (https://leanprover.github.io/)
-
Updated
Mar 4, 2022 - Lean
A decision procedure for the formal system MIU, written in Lean 3.18.4
-
Updated
Aug 18, 2020 - Lean
monoidal categories in the Lean theorem prover
-
Updated
May 6, 2019 - Lean
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
-
Updated
Sep 20, 2024 - Lean
Elaboración de demostraciones con Lean.
-
Updated
Jun 24, 2022 - Lean
a Lean implementation of Jensen's Inequality
-
Updated
Jun 21, 2023 - Lean
DAO (Demostración Asistida por Ordenador) con Lean
-
Updated
Jun 24, 2022 - Lean
Programming language foundations in Lean
-
Updated
Jun 28, 2019 - Lean
Created by Leonardo de Moura
Released 2013
- Followers
- 30 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia