Pages that link to "Item:Q3613422"
From MaRDI portal
The following pages link to Automating Proofs in Category Theory (Q3613422):
Displaying 5 items.
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Towards a readable formalisation of category theory (Q2845528) (← links)
- From Proof Nets to the Free *-Autonomous Category (Q5310668) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- A mechanically assisted constructive proof in category theory (Q6488555) (← links)