fixpoints

There are 0 repository under fixpoints topic.

• uwplse / fix-to-elim

  Fixpoint to eliminator translation in Coq

  pumpkin-patchfixpointsinduction-principleseliminatorscoqcoq-plugin
  Language:Coq 3