最終更新日：2025/11/25
To ensure formal correctness we chose a deep embedding of the specification language inside the proof assistant, so each construct became explicit data we could reason about.
正解を見る
To ensure formal correctness we chose a deep embedding of the specification language inside the proof assistant, so each construct became explicit data we could reason about.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
