Ended 2023/04/16(Sun) 13:00〜
Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法
hatsugai
オンライン
3/10
Ended 2023/04/02(Sun) 13:00〜
Isabelle チュートリアル 第1回 論理
4/10
Ended 2023/03/18(Sat) 16:00〜
強い数学的帰納法のひみつ
1
Ended 2021/07/03(Sat) 13:00〜
定理証明支援系 Coq チュートリアル
9/10
Ended 2021/06/27(Sun) 13:00〜
2/10
Ended 2021/06/19(Sat) 12:00〜
プログラムの正しさを数学的に証明する形式検証への招待
Ended 2021/06/15(Tue) 20:30〜
ヒープソート siftup の正当性証明
6/10
Ended 2021/06/13(Sun) 13:00〜
5/10
Ended 2021/06/02(Wed) 20:00〜
Coq ユーザのための Isabelle ガイド
5/6
Ended 2021/05/30(Sun) 14:00〜
プロセス代数 CSP 構文と操作的意味論
If you add media to group events the most recent 10 media items are shown.