@hackage / hydra-coq

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

0.17.0

Security Advisories

No advisories found.