The following pages link to Steven Obua (Q2379682):
Displaying 8 items.
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- Capturing Hiproofs in HOL Light (Q2843014) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
- Type Inference for ZFH (Q3453108) (← links)
- Proof Pearl: Looping Around the Orbit (Q3523177) (← links)
- Partizan Games in Isabelle/HOLZF (Q3525155) (← links)
- Checking Conservativity of Overloaded Definitions in Higher-Order Logic (Q3527296) (← links)
- Theorem Proving in Higher Order Logics (Q5477658) (← links)
