130 citations · 228 across the 17 of their papers we have counts for
1 paper · 1 filter
Czeslaw Bylinski, Jesse Alama
The Mizar language aims to capture mathematical vernacular by providing a rich language for mathematics. From the perspective of a user, the richness of the language is welcome bec…