#

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 6 public repositories matching this topic...

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

Updated Oct 14, 2024
JavaScript

aconite-ac / theorem_proving_in_lean4

Theorem Proving in Lean 4 日本語訳

Updated Aug 19, 2024
JavaScript

lean-dojo / LeanDojoWebsite

Code for LeanDojo's website

machine-learning theorem-proving lean lean4

Updated Aug 19, 2024
JavaScript

arthurpaulino / chrome-lean-unicode

Type Lean unicode characters in your web browser

Updated Sep 11, 2023
JavaScript

Seasawher / fp-lean

Functional Programming in Lean のソースコードのクローン

Updated Sep 11, 2023
JavaScript

Seasawher / theorem_proving_in_lean4_ja

未完の日本語訳です．TPiL の日本語訳をお探しの方は https://aconite-ac.github.io/theorem_proving_in_lean4_ja/ へどうぞ

docker translation docker-compose japanese mathematics lean devcontainer mdbook theorem-prover lean4

Updated Jun 24, 2023
JavaScript

Created by Leonardo de Moura

Released 2013

Followers: 30 followers
Repository: leanprover/lean
Website: leanprover.github.io
Wikipedia: Wikipedia