19 citations · 19 across the 1 of their papers we have counts for
1 paper
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…