Projects in Awesome Lists tagged with fixpoints
A curated list of projects in awesome lists tagged with fixpoints .
https://github.com/uwplse/fix-to-elim
Fixpoint to eliminator translation in Coq
coq coq-plugin eliminators fixpoints induction-principles pumpkin-patch
Last synced: 12 Apr 2025
