notes-on-smullyanTP
https://github.com/SnO2WMaN/notes-on-smullyanTP
SmullyanTP
の解説．
証明支援系アドベントカレンダー2024
の3日目の記事として企画．