Pages that link to "Item:Q5195275"

The following pages link to QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275):

Displayed 4 items.

• Making PVS accessible to generic services by interpretation in a universal format (Q1687752) ‎ (← links)
• Experiences from exporting major proof assistant libraries (Q2069875) ‎ (← links)
• Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) ‎ (← links)
• (Q6079227) ‎ (← links)