agentultra / lean4

Lean 4 programming language and theorem prover

Home Page:https://leanprover.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Lean 4 programming language and theorem prover

https://leanprover.github.io/

License:Apache License 2.0


Languages

Language:Lean 77.4%Language:C++ 19.4%Language:Emacs Lisp 1.0%Language:CMake 0.5%Language:Nix 0.3%Language:Python 0.3%Language:Swift 0.2%Language:Haskell 0.2%Language:Standard ML 0.2%Language:OCaml 0.1%Language:Shell 0.1%Language:Makefile 0.1%Language:C 0.0%