search

uwplse / fix-to-elim

Fixpoint to eliminator translation in Coq
MIT License
3 stars 5 forks source link

Clean code #4

Open tlringer opened 5 years ago