Skip to content

Shamrock-Frost/lean4

This branch is 3459 commits behind leanprover/lean4:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

5d1d493 · Nov 16, 2023
Nov 16, 2023
Oct 10, 2021
Nov 15, 2023
Feb 1, 2015
Aug 28, 2023
Nov 6, 2023
Nov 16, 2023
Nov 12, 2023
Nov 16, 2023
Sep 13, 2023
Nov 14, 2023
Mar 18, 2022
Oct 4, 2023
Nov 16, 2023
Oct 25, 2023
Nov 18, 2021
Nov 18, 2021
Oct 25, 2023
Nov 16, 2023
Jan 3, 2021
Jul 28, 2023
Mar 28, 2023
Jul 28, 2023

Repository files navigation

About

Lean 4 programming language and theorem prover

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Lean 82.1%
  • C++ 15.8%
  • Shell 0.5%
  • CMake 0.5%
  • Nix 0.3%
  • Python 0.2%
  • Other 0.6%