Tarski's geometry modelled in Mizar computerized proof assistant.

Adam Grabowski

Browse the full FedCSIS paper archive.