An Example of Formalizing Recent Mathematics in MIZAR

04.08.2021

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.)

©2022 Wszystkie prawa zastrzeżone.