/coq-k

Some formalization of the K framework in Coq

Primary LanguageCoq

No issues in this repository yet.