Pages that link to "Item:Q1876109"
From MaRDI portal
The following pages link to A refinement of de Bruijn's formal language of mathematics (Q1876109):
Displayed 7 items.
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Computerizing Mathematical Text with MathLang (Q2866734) (← links)
- Unifying Math Ontologies: A Tale of Two Standards (Q3637283) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)