AxiomaticCategoryTheory

From MaRDI portal
Revision as of 20:52, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:43933



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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:43933&oldid=29513742"
Powered by MediaWiki