chain-rules-test

chain-rules-test

Executable specification of the Cardano blockchain

Modules