Formalized Mathematics

data released under the ODC-BY 1.0 license. See also our legal information page

last updated on 2013-10-16T203152 by the dblp team