Skip to content

Update to Lean v4.16.0 #400

Update to Lean v4.16.0

Update to Lean v4.16.0 #400

Build and Test

succeeded Feb 11, 2025 in 5m 7s