TPP2024 にて 「標準的な様相論理のLeanでの形式化について」 という題で発表した際のスライドです．
最新のPDFファイルが https://sno2wman.github.io/slides-for-tpp2024/main.pdf から入手出来ます．
-
Notifications
You must be signed in to change notification settings - Fork 0
License
SnO2WMaN/slides-for-tpp2024
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|