欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MPTStore is a Java library for projects that need persistent, transaction-capable storage and querying of very large quantities of RDF data.
popular RDF storage engines including Jena, Sesame, and 3store.
http://mptstore.sourceforge.net/
