Pages that link to "Item:Q757074"

The following pages link to Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm (Q757074):

Displaying 1 item.

• Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)