Home > Archives > 2024年09月09日

2024年09月09日

Iris を学ぶ

2024-09-09 (Mon)
一般

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

Comments: 0
TrackBack (Close): -

Home > Archives > 2024年09月09日

Calendar

Categories

アカデミック？(78)
ソフトウェア(362)
- Linux/coLinux(122)
- Meadow/Emacs(26)
- TeX(37)
- Windows(67)
ハードウェア(76)
- PC関係(37)
- マイコン(16)
プログラミング(352)
- C/C++/C#(80)
- Haskell(26)
- Java(33)
- sed/wake/awk(40)
一般(6814)
- カメラ／写真(583)
遊び(79)

Archives

Search

Feeds