#
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...
Formalisation of the Kelley-Meka bound on Roth numbers
-
Updated
Jun 8, 2024 - Lean
-
Updated
Jun 9, 2024 - Lean
-
Updated
Jun 8, 2024 - HTML
The annual event for computer science enthusiasts!
-
Updated
Jun 8, 2024 - Rust
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます(作業中 🚧)
-
Updated
Jun 8, 2024 - Lean
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
algebra
lean
formal-methods
number-theory
formal-mathematics
formal-proofs
fermat-last-theorem
lean4
-
Updated
Jun 7, 2024 - TeX
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
analysis
mathematics
proof-assistant
formal-methods
formalization
fourier-analysis
formal-mathematics
interactive-theorem-proving
theorem-prover
harmonic-analysis
lean4
-
Updated
Jun 7, 2024 - TeX
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia