Last Updated：2025/11/20
The proof assistant provides a tactical that composes basic tactics to simplify and solve goals.
See correct answer
The proof assistant provides a tactical that composes basic tactics to simplify and solve goals.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
