/software-foundation

http://proofcafe.org/sf/ これをやる

Primary LanguageCoq

No issues in this repository yet.