commit: 1fa5dc881a5fa460d9ca9dc54d0700f1bb84d9a2

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 21 10:59:35 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 21 10:59:35 2024 -0800
tree: ef40900071af8af8e0f4e3a8b48875ec07bbb003
parent: 75272cb157f212976626f26d53270c6601d2d835 [diff]

fix: structural equation proof generator

2 files changed

tree: ef40900071af8af8e0f4e3a8b48875ec07bbb003

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.