Giters

walterhu1015 / lean4

Lean4 work in progress repo

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

We are currently developing Lean 4. Lean 3 is still the latest official release. This repository contains work in progress.

Important. Unless you are one of our collaborators

  • We strongly suggest you use Lean 3.
  • Pull requests are not welcome.
  • New issues are not welcome, and will be closed without any feedback.

About

Lean4 work in progress repo

License:Apache License 2.0

Languages

Language:C++ 55.1%Language:Lean 40.8%Language:Emacs Lisp 1.5%Language:CMake 0.9%Language:Python 0.5%Language:Swift 0.2%Language:Shell 0.2%Language:Haskell 0.2%Language:Standard ML 0.2%Language:OCaml 0.2%Language:Makefile 0.1%Language:Nix 0.1%Language:Perl 0.1%Language:C 0.0%Language:Lua 0.0%