commit: 653d65002fcf3ddef3ace36354d673b83277d43e

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Tue Mar 26 12:44:47 2024 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Tue Mar 26 12:44:47 2024 +0100
tree: 40023240b985f67c87975a7b6d66bf93b4be4918
parent: 35aa15cdd22509709818d9ce1d614f525b811c64 [diff]

Fix recursive call with extra type

2 files changed

tree: 40023240b985f67c87975a7b6d66bf93b4be4918

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.