Pages that link to "Item:Q2829278"

The following pages link to AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic (Q2829278):

Displaying 3 items.

• AUTO2 (Q29452) (← links)
• Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)
• Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding (Q6611968) (← links)