The following pages link to Presenting machine-found proofs (Q4647515):
Displaying 7 items.
- PROVERB (Q41386) (← links)
- Presenting inequations in mathematical proofs (Q1818758) (← links)
- Assertion-level proof representation with under-specification (Q2847390) (← links)
- Reconstructing proofs at the assertion level (Q5210809) (← links)
- Ωmega: Towards a mathematical assistant (Q5234706) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)