IDE: Introduction, Destruction, Elimination
by Mihails Milehins
Mihails Milehins
2021
Category Theory for ZFC in HOL III: Universal Constructions
by Mihails Milehins
Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories
by Mihails Milehins
Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories
by Mihails Milehins