おっすオラオカルトマニア
あっちの応援スレにも書いたけど、SSの批判が間違っているという証明(LEAN4)の新版だ
https://ideone.com/xEQ1YU