#

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

aconite-ac / theorem_proving_in_lean4

Theorem Proving in Lean 4 日本語訳

lean lean4

Updated Jan 11, 2025
JavaScript

arthurpaulino / chrome-lean-unicode

Type Lean unicode characters in your web browser

lean lean4

Updated Sep 11, 2023
JavaScript

leanprover-community / lean-update

GitHub Action which automatically updates Lean projects

github-actions lean4

Updated Dec 7, 2025
JavaScript

edrf12 / leangame-easysave

Save and Load buttons for the Lean Game Server

userscript lean4

Updated Sep 12, 2025
JavaScript

christophe0606 / FixedPointLean

Lean4 library for Fixed point arithmetic

c tutorial embedded theorem-proving fixed-point lean4

Updated May 18, 2025
JavaScript

Seasawher / fp-lean

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

lean lean4

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

habemus-papadum / warpsnwefts

weaving lean4

Updated Nov 23, 2025
JavaScript

Created by Leonardo de Moura

Released 2013

Followers: 41 followers
Repository: leanprover/lean
Website: github.com/topics/lean
Wikipedia: Wikipedia