Blockchain - two repos with specs are: * https://github.com/input-output-hk/cardano-ledger https://github.com/input-output-hk/cardano-ledger * https://github.

Blockchain - two repos with specs are: * https://github.com/input-output-hk/cardano-ledger https://github.com/input-output-hk/cardano-ledger * https://github.com/input-output-hk/plutus https://github.com/input-output-hk/plutus There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy https://github.com/input-output-hk/high-assurance-legacy