An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. - Phil Scott; Jacques D. Fleuriot (Automated Deduction in Geometry, 2010)

Composable Discovery Engines for Interactive Theorem Proving. - Phil Scott; Jacques D. Fleuriot (ITP, 2011)

A Combinator Language for Theorem Discovery. - Phil Scott; Jacques D. Fleuriot (AISC/MKM/Calculemus, 2012)

ProofPeer: Collaborative Theorem Proving. - Steven Obua; Jacques D. Fleuriot; Phil Scott; David Aspinall 001 (CoRR, 2014)

Type Inference for ZFH. - Steven Obua; Jacques D. Fleuriot; Phil Scott; David Aspinall 001 (CICM, 2015)

ProofScript: Proof Scripting for the Masses. - Steven Obua; Phil Scott; Jacques D. Fleuriot (ICTAC, 2016)

Compass-free Navigation of Mazes. - Phil Scott; Jacques D. Fleuriot (SCSS, 2016)

Social Network Processes in the Isabelle and Coq Theorem Proving Communities. - Jacques D. Fleuriot; Steven Obua; Phil Scott (CoRR, 2016)

Local Lexing. - Steven Obua; Phil Scott; Jacques D. Fleuriot (CoRR, 2017)

Compiling Purely Functional Structured Programs. - Phil Scott; Steven Obua; Jacques D. Fleuriot (CoRR, 2017)

Bootstrapping LCF Declarative Proofs. - Phil Scott; Steven Obua; Jacques D. Fleuriot (CoRR, 2017)

Where are the Natural Numbers in Hilbert's Foundations of Geometry? - Phil Scott; Jacques D. Fleuriot (CoRR, 2019)