Skip to content

Lean: translate type parameters of record types #2026

Lean: translate type parameters of record types

Lean: translate type parameters of record types #2026

build (5.2.1, ubuntu-24.04)

succeeded Feb 4, 2025 in 22m 56s