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

Latest commit

2d46ca2 · Aug 10, 2024
Aug 8, 2024
Aug 8, 2024
Feb 1, 2015
Aug 2, 2024
Jul 31, 2024
Jun 13, 2024
Aug 10, 2024
Aug 7, 2024
Aug 7, 2024
Sep 13, 2023
Jun 13, 2024
Mar 18, 2022
Apr 4, 2024
May 23, 2024
Jul 8, 2024
Jul 26, 2024
Nov 18, 2021
Nov 18, 2021
May 1, 2024
Jul 31, 2024
Aug 2, 2024
Aug 2, 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%