19 citations · 29 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 10 cited
A Tale of Two Set Theories
Chad E. Brown, Karol Pąk
We describe the relationship between two versions of Tarski-Grothendieck set theory: the first-order set theory of Mizar and the higher-order set theory of Egal. We show how certai…
cs.LO2014★ 19 cited
Improving legibility of natural deduction proofs is not trivial
Karol Pąk
In formal proof checking environments such as Mizar it is not merely the validity of mathematical formulas that is evaluated in the process of adoption to the body of accepted form…