最終更新日：2025/12/05
To ensure the program only uses intuitionistic logic, the team decided to constructivize the classical proofs in the library.
正解を見る
To ensure the program only uses intuitionistic logic, the team decided to constructivize the classical proofs in the library.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
