Integrated semantic browsing of the Mizar Mathematical Library for authoring Mizar articles (0)

by G Bancerek, J Urban
Venue:In: Mathematical Knowledge Management. Springer