koteitan on Nostr: 自動定理証明じゃないわ。定理証明支援プログラム