Skip to content

Lean: Fixing Lean style and wrong definition in Sail.lean #1811

Lean: Fixing Lean style and wrong definition in Sail.lean

Lean: Fixing Lean style and wrong definition in Sail.lean #1811

Annotations

1 warning

build (5.2.1, ubuntu-24.04)

succeeded Jan 16, 2025 in 22m 44s