2011-04-05 Hilbert II Formal Methods 会社の方に教えてもらった定理証明系。http://www.qedeq.org/index.htmlどんなものなのか、まだ試していない。