issues
search
uwplse
/
fix-to-elim
Fixpoint to eliminator translation in Coq
MIT License
3
stars
5
forks
source link
Update Coq version
#3
Open
tlringer
opened
5 years ago