2024.07.08
https://www.youtube.com/watch?v=dBIMzHevAQs
メモ
The Coq team has decided that Coq will be renamed into 'The Rocq Prover'.
メモ
やった
メモ
Hilbert流演繹体系においてリスト$ \Gamma,\Deltaが並び替えを無視して一致しているとき$ \Gamma \vdash \varphi \iff \Delta \vdash \varphiという事実を証明すれば使いやすくなるのだろうかと思ったがどうなのだろうか.