Pages that link to "Item:Q2881098"
From MaRDI portal
The following pages link to A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving (Q2881098):
Displayed 1 item.
- miz3 (Q30463) (← links)
The following pages link to A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving (Q2881098):
Displayed 1 item.