Mihails Milehins

E-Mails 📧

• moc.liamg @snihelimsliahim

Entries

2021

IDE: Introduction, Destruction, Elimination

by Mihails Milehins 📧

Sep 06

Extension of Types-To-Sets

by Mihails Milehins 📧

Sep 06

Conditional Transfer Rule

by Mihails Milehins 📧

Sep 06

Conditional Simplification

by Mihails Milehins 📧

Sep 06

Category Theory for ZFC in HOL III: Universal Constructions

by Mihails Milehins 📧

Sep 06

Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories

by Mihails Milehins 📧

Sep 06

Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories

by Mihails Milehins 📧

Sep 06