49 citations · 191 across the 12 of their papers we have counts for
1 paper · 1 filter
Jacques Carette, Russell O'Connor, Yasmine Sharoda
To build a large library of mathematics, it seems more efficient to take advantage of the inherent structure of mathematical theories. Various theory presentation combinators have…