Revision ebe5d73197325a7f80f61bc44f65c48491287cb4
Schedule/ProofCafe_25
- 11/24 Schedule/ProofCafe_25
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 多元数理科学棟(旧理学部1号館) 409
- 参加登録: PARTAKE: ProofCafe
- ソフトウェアの基礎の命題と論拠の「???」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
加者 6人