72 citations · 159 across the 26 of their papers we have counts for
1 paper · 1 filter
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
The term UniMath refers both to a formal system for mathematics, as well as a computer-checked library of mathematics formalized in that system. The UniMath system is a core depend…