18 citations · 22 across the 12 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…