Search

Your search keyword '"Scott, Phil"' showing total 10 results

Search Constraints

Start Over You searched for: Author "Scott, Phil" Remove constraint Author: "Scott, Phil" Publication Type eBooks Remove constraint Publication Type: eBooks
10 results on '"Scott, Phil"'

Search Results

1. ProofScript: Proof Scripting for the Masses

2. Type Inference for ZFH

7. A Combinator Language for Theorem Discovery

8. An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time

9. Composable Discovery Engines for Interactive Theorem Proving

Catalog

Books, media, physical & digital resources