Home > 一般 > Iris を学ぶ

Iris を学ぶ

  • 2024-09-09 (Mon) 18:59
  • 一般

PPLサマースクールで Iris の話を聞いた.とりあえず Coq で遊んでみると面白そうかも知れない.Iris の Proof Mode の tactics がどう頑張って実現されているのかは興味のあるところ.

★下記に2つの英単語をスペースで区切って入力してください

Home > 一般 > Iris を学ぶ

Search
Feeds

Page Top