Skip to content

Lean 4 fork for working in progress development

License

Notifications You must be signed in to change notification settings

leanprover/lean4wip

About

Lean 4 fork for working in progress development

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Lean 87.5%
  • C++ 10.7%
  • CMake 0.5%
  • Shell 0.5%
  • Nix 0.2%
  • Python 0.1%
  • Other 0.5%