Isabelle/HOL Exercises Overview This is a collection of exercises for getting acquainted with the proof assistant Isabelle/HOL. The individual exercises come out of an annual Isabelle/HOL lab course taught at the Technische Universität München. The exercises are arranged theme wise, and as far as possible in order of increasing difficulty. They can be used in conjunction with the online Isabelle/H
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く