specification and refinement of Ouroboros protocol
Primary LanguageHaskell
This repository is not active