5 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Sebastian Ullrich, Leonardo de Moura
In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role i…