14 citations · 14 across the 1 of their papers we have counts for
1 paper
Sebastian Böhne, Christoph Kreitz
We have developed an alternative approach to teaching computer science students how to prove. First, students are taught how to prove theorems with the Coq proof assistant. In a se…