commit: d9d3c1bf36091a648ec91de0000e75ea389954b3

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 12 10:11:50 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 12 10:11:50 2024 +1100
tree: e003294e002ae6b79584b2e056411712413bdbf6
parent: 23d0e2840b0ebf9b90c57ff85cb60d27d242b62f [diff]

remove inherit_docs, builtin takes care of this

src/Lean/Elab/Tactic/Guard.lean[diff]

1 file changed

tree: e003294e002ae6b79584b2e056411712413bdbf6

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.