AxiomaticCategoryTheory

swMATH32222MaRDI QIDQ43933FDOQ43933

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: AxiomaticCategoryTheory