The following pages link to Russell O'Connor (Q987983):
Displaying 10 items.
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Classical mathematics for a constructive world (Q3094179) (← links)
- (Q3184782) (← links)
- A monadic, functional implementation of real numbers (Q3431547) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- A Machine-Checked Proof of the Odd Order Theorem (Q5327343) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- Theorem Proving in Higher Order Logics (Q5477659) (← links)