fu-dietersheim/Blockchain
A verified permissioned centralized Blockchain for Isabelle/HOL
IsabelleGPL-3.0
No issues in this repository yet.
A verified permissioned centralized Blockchain for Isabelle/HOL
IsabelleGPL-3.0
No issues in this repository yet.