Last Updated：2025/11/28
The graduate student presented a Gentzenian proof that clarified the structure of cut-elimination in sequent calculus.
See correct answer
The graduate student presented a Gentzenian proof that clarified the structure of cut-elimination in sequent calculus.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
