A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Primary LanguageCoqOtherNOASSERTION