Pages that link to "Item:Q5222980"

The following pages link to A Verified Theorem Prover Backend Supported by a Monotonic Library (Q5222980):

Displaying 2 items.

• Experiences from exporting major proof assistant libraries (Q2069875) (← links)
• Formally computing with the non-computable (Q2117773) (← links)