Automating Proofs in Category Theory

DOI10.1007/11814771_34zbMath1222.03014OpenAlexW1517437198MaRDI QIDQ3613422

Christoph Kreitz, Dexter Kozen, Eva Richter

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_34

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General theory of categories and functors (18A99)