31 citations · 52 across the 8 of their papers we have counts for
1 paper · 1 filter
Freek Wiedijk
We propose a synthesis of the two proof styles of interactive theorem proving: the procedural style (where proofs are scripts of commands, like in Coq) and the declarative style (w…