Pages that link to "Item:Q3094180"
From MaRDI portal
The following pages link to Formalising foundations of mathematics (Q3094180):
Displaying 9 items.
- The future of logic: foundation-independence (Q263104) (← links)
- A scalable module system (Q391632) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
