130 citations · 228 across the 17 of their papers we have counts for
1 paper · 2 filters
Jesse Alama
In some theory development tasks, a problem is satisfactorily solved once it is shown that a theorem (conjecture) is derivable from the background theory (premises). Depending on o…