2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…