31 citations · 149 across the 30 of their papers we have counts for
1 paper · 2 filters
Michael Kohlhase, Felix Mance, Florian Rabe
Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer alg…