練習があったのでCoqの方は、あまり見てない。 明日本番だし。Prop_J.vを少し写経するも、何書いてあるかよく分からない。 (* ここで wednesday がOKであることを証明したいとしましょう。 証明するには2つの方法があります 1つめは原始的な方法であり、コン…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。