Skip to content

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

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

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

Annotations

1 warning

build (5.0.0, ubuntu-latest, 0.26.0)

succeeded Dec 18, 2024 in 21s