The following pages link to (Q3515519):
Displaying 8 items.
- Automated verification of refinement laws (Q1037397) (← links)
- Uniform strategies: The CADE-11 theorem proving contest (Q1319384) (← links)
- The rue theorem-proving system: The complete set of LIM+ challenge problems (Q1337564) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- Combining Instance Generation and Resolution (Q3655208) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)