Pages that link to "Item:Q2908482"

The following pages link to Satallax: An Automatic Higher-Order Prover (Q2908482):

Displaying 2 items.

• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)