/mirror-core

A framework for extensible, reflective decision procedures.

Primary LanguageCoqOtherNOASSERTION

Watchers