いやちょっと前から斜め読みしてたけど、限界が来たので、少し真面目に第一章からやる。http://proofcafe.org/sf/ https://github.com/moritanon/Coq_studygitも久しぶり触るのでなんもかんも忘れてる。仕事では使ってないし。 Theorem bin_nat_comm : foral…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。