Poprzednia strona
Rekrutacja 2022/23
M. Borowska, A. Kitlas, E. Oczeretko, W. Półjanowicz
Higher-order Tarski Grothendieck as a Foundation for Formal Proof
10th International Conference on Interactive Theorem Proving, Portland OR, USA, Sep 8-13, 2019
Portland State University (org.)
