Formal Ledger Specs

Equivalence proof between spec and conformance rules (#585) #2535

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	20m 6s
MAlonzo	9m 2s
Ledger-hs	8m 22s
Formal-Ledger	7m 17s
Midnight	8m 14s
Uploads	9s
	53m 10s