2014-07-24から1日間の記事一覧
ProofObject.v これこそが知りたかったことだけど、すでに前の版で大半は日本語訳されてた。例とかは少ないけど。 以前読んだときは目に入ってなかったのか、理解出来てなかっただけか、両方か。しかし、Printとかの使い方はなかった気もする。 Theorem b_ti…
ProofObject.v これこそが知りたかったことだけど、すでに前の版で大半は日本語訳されてた。例とかは少ないけど。 以前読んだときは目に入ってなかったのか、理解出来てなかっただけか、両方か。しかし、Printとかの使い方はなかった気もする。 Theorem b_ti…