読者です 読者をやめる 読者になる 読者になる

おもいつき

定理証明系から,プログラムだけじゃなくて,論文も生成してくれれば良いのになぁ.(ホントに楽か?それ)