Flyspeck in a Semantic Wiki Collaborating on a Large Scale Formalization of the Kepler Conjecture

by Christoph Lange , Sean Mclaughlin , Florian Rabe
Citations:2 - 0 self