Poprzednia strona
Rekrutacja 2022/23
A. Dobrogowska
Mizar as a Proof Assistant for Teaching Mathematics
Small TYPES Workshop: High Level Languages for Proofs, Chambery, France, Apr 13-14, 2005
LAMA, Department of Mathematics of the Savoie University (org.)
