Notes on SmullyanTP この文書はSmullyanのシステムを形式化したSnO2WMaN/SmullyanTPについての解説として書かれた文書です. 誤植訂正やコメントなどはIssuesにて受け付けています. また,証明支援系 Advent Calendar 2024の3日目の記事として参加しています. よろしければ他の日の記事などもどうぞ. PDF https://sno2wman.github.io/notes-on-smullyanTP/main.pdf License CC BY 4.0