Karol Pąk

Karol Pąk

University at Bialystok - Bialystok / Poland
Others
AD Scientific Index ID: 1794528
University of Bialystok
person_outline Karol Pąk's MOST POPULAR ARTICLES
1-) Mizar: State-of-the-art and beyondG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...International Conference on Intelligent Computer Mathematics, 261-279, 20151952015
2-) The role of the Mizar Mathematical Library for interactive proof development in MizarG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...Journal of Automated Reasoning 61 (1), 9-32, 20181372018
3-) Methods of lemma extraction in natural deduction proofsK PąkJournal of Automated Reasoning 50 (2), 217-228, 2013322013
4-) A tale of two set theoriesCE Brown, K PąkIntelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019302019
5-) Towards a Mizar environment for Isabelle: foundations and languageC Kaliszyk, K Pąk, J UrbanProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016242016