Revision 1ccd02a25bf391e420cd4f0424eab8cb4a82572a
Schedule/ProofCafe_22
- 07/28 Schedule/ProofCafe_22
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 理学部1号館(多元数理科学棟)3階307教室
- 参加登録: PARTAKE: 第22回 ProofCafe
- ソフトウェアの基礎の命題と論拠のはじめから
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- 参加者: 9人