Harvard's Ynot: http://ynot.cs.harvard.edu/ - One branch per Coq version which needed changes
Primary LanguageCoqOtherNOASSERTION