User photo

Andrzej Trybulec

About

Andrzej Wojciech Trybulec, was a Polish mathematician and computer scientist noted for work on the Mizar system.