/fix-to-elim

Fixpoint to eliminator translation in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers