Skip to content

Lean: implement struct patterns #34

Lean: implement struct patterns

Lean: implement struct patterns #34

build (5.2.1, ubuntu-24.04, prover)

succeeded Feb 14, 2025 in 6m 41s