A compendium of continuous lattices in mizar (2002)

by Grzegorz Bancerek, Piotr Rudnicki
Venue:Journal of Automated Reasoning