Pages that link to "Item:Q2219386"
From MaRDI portal
The following pages link to A survey of languages for formalizing mathematics (Q2219386):
Displaying 6 items.
- Lyndon words formalized in Isabelle/HOL (Q832940) (← links)
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- Improving stateful premise selection with transformers (Q2128800) (← links)
- A language with type-dependent equality (Q2128827) (← links)
- \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681) (← links)
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model (Q2700049) (← links)
