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