Skip to content

Lean: Implement type abbreviations and introduce kid->id renaming #1694

Lean: Implement type abbreviations and introduce kid->id renaming

Lean: Implement type abbreviations and introduce kid->id renaming #1694

Annotations

1 warning

build (5.2.1, ubuntu-24.04)

succeeded Dec 18, 2024 in 22m 26s