74 citations · 77 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
ProofPeer: Collaborative Theorem Proving
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…
cs.LO2013
Capturing Hiproofs in HOL Light
Steven Obua, Mark Adams, David Aspinall
Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used…