SpecificationSpecificationThe specification is currently written in LaTeX and can be edited in the hydra-formal-specification repository. You can view the rendered version below or download it for fullscreen viewing here.
