Show Navigation

Public
- Groups

Conversation

Notices

Q (masterq@pawoo.net)'s status on Friday, 22-Nov-2019 18:28:37 JST Q

マルレクでやってるぐらいなんだから、もうCoqは安泰ですね / 1件のコメント https://t.co/l7T54MTn0G “GitHub - maruyama097/coq-tutorial: coq-tutorial”… https://t.co/EUAs5mIfhX
In conversation Friday, 22-Nov-2019 18:28:37 JST from pawoo.net permalink
Attachments
1. 『GitHub - maruyama097/coq-tutorial: coq-tutorial』へのコメント
  
  from はてなブックマーク
  
  この記事に対して1件のコメントがあります。コメントは「マルレクでやってるぐらいなんだから、もうCoqは安泰ですね」です。