sci-mathematics/lean
The Lean Theorem Prover
ChangeLog
commit 77b5789ba03290422a0a6bcbc111e68ba0636a0a
Author: Jakob L. Kreuze <zerodaysfordays@sdf.org>
Date: Sat Feb 11 12:29:39 2023 -0500
Add missing manifests
commit 90338921a8c3e1a1db055fd2c4b9d3dc45336003
Author: Jakob L. Kreuze <zerodaysfordays@sdf.org>
Date: Sat Feb 11 12:29:03 2023 -0500
Add Lean 4
Author: Jakob L. Kreuze <zerodaysfordays@sdf.org>
Date: Sat Feb 11 12:29:39 2023 -0500
Add missing manifests
commit 90338921a8c3e1a1db055fd2c4b9d3dc45336003
Author: Jakob L. Kreuze <zerodaysfordays@sdf.org>
Date: Sat Feb 11 12:29:03 2023 -0500
Add Lean 4