Revision ad25e7554a3fc9a9678ba5f1b9fa348a580a8fae
Schedule/ProofCafe_28
- 02/23 Schedule/ProofCafe_28
- 時間: 14:30 - 17:30
- 場所: ハンバーグハウス源(どえりゃあ)
- 参加登録: PARTAKE: ProofCafe
- ソフトウェアの基礎 今回はLogic_J
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- ハッシュタグ: #proofcafe