2024.11.25
https://gyazo.com/7655a33f5fb0124fae55c3fc90af9e8f
ヘリコプターで福岡に行ったことがないのは
前：
2024.11.24
後：
2024.11.26
#日報
行った
TPP2024
に出席/発表
スライドはこちらにあります
https://github.com/SnO2WMaN/slides-for-tpp2024
標準的な様相論理のLeanでの形式化について