Pages that link to "Item:Q5495935"
From MaRDI portal
The following pages link to Towards Knowledge Management for HOL Light (Q5495935):
Displaying 6 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
- (Q6079227) (← links)
