Executable specification of `cardano-ledger` generated from Agda - View it on GitHub
Star
0
Rank
11230011