Poprzednia strona
Rekrutacja 2022/23
Towards a mizar environment for Isabelle: foundations and language
C. Kaliszyk, K. Pąk, J. Urban
() 58-65
DOI: 10.1145/2854065.2854070
