AxiomaticCategoryTheory

swMATH32222MaRDI QIDQ43933

No author found.

Related Items (1)

Automating free logic in HOL, with an experimental application in category theory

This page was built for software: AxiomaticCategoryTheory