Coq

お知らせ
1/28 マルゼミ「論理学入門 I」ダイジェスト

1/28マルゼミ「論理学入門 I」の音声でのダイジェスト版です。 イントロ エンディング 講演資料 講演資料はこちらです。https://www.marulabo.net/docs/logic1/ 当日の様子です

続きを読む