定理証明リンク集 – The curse of λ

定理証明リンク集 - The curse of λ

定理証明リンク集 - The curse of λ

定理証明、特に定理証明支援系(Proof Assistant)はその存在こそ少しずつ浸透しつつあるような気がしないでもないけれど資料とか全然まとまってないのが不便だなと前々から思っていたのでリソースをまとめておきます。 これも追加してほしいみたいなのあったら教えてください。 Proof Assistants 始めるなら次の中から選...

はてなブックマーク - 定理証明リンク集 - The curse of λ はてなブックマークに追加