Skip to content
forked from leanprover/lean4

Lean 4 programming language and theorem prover

License

Notifications You must be signed in to change notification settings

opencompl/lean4

Folders and files

NameName
Last commit message
Last commit date
Sep 14, 2024
Aug 28, 2024
Feb 1, 2015
Sep 9, 2024
Sep 2, 2024
Sep 9, 2024
Sep 18, 2024
Sep 18, 2024
Sep 18, 2024
Sep 13, 2023
Jun 13, 2024
Mar 18, 2022
Aug 28, 2024
May 23, 2024
Aug 28, 2024
Jul 26, 2024
Nov 18, 2021
Aug 23, 2024
May 1, 2024
Sep 2, 2024
Sep 2, 2024
Aug 23, 2024
Aug 23, 2024
Nov 30, 2023
Dec 14, 2023

Repository files navigation

About

Lean 4 programming language and theorem prover

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Lean 89.0%
  • C++ 9.2%
  • CMake 0.5%
  • Shell 0.4%
  • Python 0.2%
  • Nix 0.2%
  • Other 0.5%