Skip to content

Lean: Translate tuples (expressions and types) #1460

Lean: Translate tuples (expressions and types)

Lean: Translate tuples (expressions and types) #1460

Annotations

2 warnings

build (4.08.1, ubuntu-latest)

succeeded Oct 31, 2024 in 14m 10s