@hackage / hydra-coq

Hydra's Coq coder: emit Coq/Gallina source from Hydra modules