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