refs/heads/upstream/just-parse - third_party/github.com/leanprover/lean4 - Git at Google

commit: 4309fd62b763aac40dd62a58075e9407e8cd23a5

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

Tue Mar 05 23:47:28 2019 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Mar 05 23:47:28 2019 +0100
tree: 6a3d63068db91c9ef9bb23031c57910d7c68c6d5
parent: 3b06c52d4f0dc63dcd321debebe64f43a3074073 [diff]

just parse

6 files changed

tree: 6a3d63068db91c9ef9bb23031c57910d7c68c6d5

README.md

About

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Miscellaneous

Building Doxygen Documentation: doxygen src/Doxyfile
Coding Style
Library Style Conventions
Git Commit Conventions
Automatic Builds
Syntax Highlight Lean Code in LaTeX
Exporting, and reference type-checkers

Roadmap