commit: 635d662ee35cc2a2307dc34e40d8b12f778f740c

[log]
author: Kim Morrison <kim@tqft.net>

Mon Sep 30 15:27:14 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 30 15:27:14 2024 +1000
tree: 2f1b1c8f952b399ff9c634c0b9b4f2b6b34dfe38
parent: a0b2240b7878c4653994c6638d88fe9e7e094c5b [diff]

deprecations

src/Std/Sat/AIG/RefVec.lean[diff]

1 file changed

tree: 2f1b1c8f952b399ff9c634c0b9b4f2b6b34dfe38

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 (documentation source: doc/make/index.md).