Pages that link to "Item:Q5210799"
From MaRDI portal
The following pages link to Exploring abstract algebra in constructive type theory (Q5210799):
Displaying 8 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Towards the Mathematics Software Bus (Q1389634) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- A two-level approach towards lean proof-checking (Q4647567) (← links)
- Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- Set theory, higher order logic or both? (Q6567712) (← links)
- Importing mathematics from HOL into Nuprl (Q6567719) (← links)