Pages that link to "Item:Q5495929"
From MaRDI portal
The following pages link to Matching Concepts across HOL Libraries (Q5495929):
Displaying 11 items.
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- FoCaLiZe and Dedukti to the rescue for proof interoperability (Q1687726) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- What’s in a Theorem Name? (Q2829279) (← links)
- Structure Formation in Large Theories (Q3453112) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- (Q6079227) (← links)