Revision 302bc72f18d3e079d3a16d23a0c7a9faec7d9dcd

Schedule/ProofCafe_24

10/27
時間: 14:30 - 17:30
場所: 名古屋大学理学部A館 428
参加登録: PARTAKE: 第23回 ProofCafe
ソフトウェアの基礎の命題と論拠の「???」から
ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz