a python script to help debug setoid_rewrite failures in coq
Primary LanguagePython
No issues in this repository yet.