29 citations · 56 across the 17 of their papers we have counts for
1 paper · 1 filter
Cezary Kaliszyk, Florian Rabe
In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctne…