Poprzednia strona
Rekrutacja 2022/23
R. Jankowski, K. Pryszczepko, K. Zajkowski
Mining for formalization environments in the Mizar Mathematical Library
8th International Conference on Interactive Theorem Proving, Brasilia, Brazil, Sep 26-29, 2017
University of Brasilia (org.)
