The following pages link to (Q4664927):
Displaying 7 items.
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
