papers
Publications (5)
cs.SI2016
Social Network Processes in the Isabelle and Coq Theorem Proving Communities
Jacques Fleuriot, Steven Obua, Phil Scott
cs.PL2017
Compiling Purely Functional Structured Programs
Phil Scott, Steven Obua, Jacques Fleuriot
cs.LO2014
ProofPeer: Collaborative Theorem Proving
Steven Obua, Jacques Fleuriot, Phil Scott +1
cs.LO2017
Bootstrapping LCF Declarative Proofs
Phil Scott, Steven Obua, Jacques Fleuriot
cs.LO2017
Local Lexing
Steven Obua, Phil Scott, Jacques Fleuriot