input-output-hk/high-assurance-legacy

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

语言：Haskell · GitHub 星标：79 · Fork：15

话题：blockchain · cardano · cryptocurrency · distributed-computing · formal-methods · formal-verification · ouroboros

在 GitHub 上查看原仓库