Skip to content

Formal specification: Ledger construction #284

Formal specification: Ledger construction

Formal specification: Ledger construction #284

Annotations

4 warnings

Typecheck specification

succeeded Nov 5, 2024 in 2m 52s