Poprzednia strona
Rekrutacja 2022/23
A. Dobrogowska
An Example of Formalizing Recent Mathematics in MIZAR
Small TYPES Workshop: High Level Languages for Proofs, Chambery, France, Apr 13-14, 2005
LAMA, Department of Mathematics of the Savoie University (org.)