Last Updated：2025/11/23
Several provers tested the new proof assistant to ensure it handled complex theorems correctly.
See correct answer
Several provers tested the new proof assistant to ensure it handled complex theorems correctly.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
