Library hydras.Hydra.Hydra_Extraction
From
hydras
Require
Import
Hydra_Lemmas
.
Extraction
Language
OCaml
.
Recursive Extraction
classic_battle
next_round
.