Pages that link to "Item:Q2117791"

The following pages link to On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791):

Displaying 1 item.

• A computational study of a class of recursive inequalities (Q6091634) (← links)