refs/heads/upstream/doc-setup - third_party/github.com/leanprover/lean4

commit: 29feabec0a91d7f5ecac00d71e143e159ca149a4

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Sat Jan 02 22:22:44 2021 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Sat Jan 02 22:26:45 2021 +0100
tree: fc2b3e4ba562a909e18acaa64c60186515dfd944
parent: 7b3e799a14015ca8691f713cace507d383109d94 [diff]

tree: fc2b3e4ba562a909e18acaa64c60186515dfd944

README.md

We are currently developing Lean 4. The Lean 4 manual (work in progress) will give you an overview of the language.

Lean 3 is still the latest official release. This repository contains work in progress.

Important. Unless you are one of our collaborators