Skip to content

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

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

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