The following pages link to Phil Scott (Q2907336):
Displaying 5 items.
- A Combinator Language for Theorem Discovery (Q2907337) (← links)
- Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
- An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time (Q3102743) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
- Type Inference for ZFH (Q3453108) (← links)
