/colorless-green-ideas

No description, website, or topics provided.

Primary LanguageCoq

No issues in this repository yet.