jeltsch / high-assurance-legacy Goto Github PK
View Code? Open in Web Editor NEWThis project forked from input-output-hk/high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
License: MIT License