Phil Scott | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jacques Fleuriot
10 publications
Jacques D Fleuriot
6 publications
Steven Obua
3 publications

research

∙ 11/16/2019

Where are the Natural Numbers in Hilbert's Foundations of Geometry?

Hilbert's Foundations of Geometry was perhaps one of the most influentia...

0 Phil Scott, et al. ∙

research

∙ 09/22/2016

Social Network Processes in the Isabelle and Coq Theorem Proving Communities

We identify the main actors in the Isabelle and Coq communities and desc...

0 Jacques Fleuriot, et al. ∙