2 citations · 2 across the 1 of their papers we have counts for
1 paper
Son Ho, Clément Pit-Claudel
Highly automated theorem provers like Dafny allow users to prove simple properties with little effort, making it easy to quickly sketch proofs. The drawback is that such provers le…