mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library

Jesse Alama, James Davenport, William Farmer, Florian Rabe, Josef Urban,

URL	http://www.springerlink.com/content/e50380424482807p/
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	6824
URL	http://www.springerlink.com/content/e50380424482807p/
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	6824

Publication