AxiomaticCategoryTheory

swMATH32222MaRDI QIDQ43933FDOQ43933

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html

Cited In (1)

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

This page was built for software: AxiomaticCategoryTheory