Pages that link to "Item:Q5195275"

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

Displaying 5 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)
• A living monograph for graph transformation (Q6535522) (← links)