49 citations · 79 across the 20 of their papers we have counts for
1 paper · 1 filter
Steven Obua, Jacques Fleuriot, Phil Scott +1
We define the concept of collaborative theorem proving and outline our plan to make it a reality. We believe that a successful implementation of collaborative theorem proving is a…