標準的な様相論理のLeanでの形式化について
https://github.com/SnO2WMaN/slides-for-tpp2024
TPP2024
で発表した．
Formalized Formal Logic
の現段階の様相論理の話について