Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories. - Mihails Milehins (Arch. Formal Proofs, 2021)

Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories. - Mihails Milehins (Arch. Formal Proofs, 2021)

Category Theory for ZFC in HOL III: Universal Constructions. - Mihails Milehins (Arch. Formal Proofs, 2021)

Conditional Simplification. - Mihails Milehins (Arch. Formal Proofs, 2021)

Conditional Transfer Rule. - Mihails Milehins (Arch. Formal Proofs, 2021)

IDE: Introduction, Destruction, Elimination. - Mihails Milehins (Arch. Formal Proofs, 2021)

Extension of Types-To-Sets. - Mihails Milehins (Arch. Formal Proofs, 2021)

An extension of the framework types-to-sets for Isabelle/HOL. - Mihails Milehins (CPP, 2022)

The Bouc-Wen Model for Binary Direct Collinear Collisions of Convex Viscoplastic Bodies. - Mihails Milehins; Dan B. Marghitu (CoRR, 2024)

Incremental Collision Laws Based on the Bouc-Wen Model: External Forces and Corner Cases. - Mihails Milehins; Dan B. Marghitu (CoRR, 2025)