A framework for extensible, reflective decision procedures.
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.