Verified Mathematics

Mini Category Theory for F-Algebras

Three HITs Theorem

HoTT Examples

Fundamental Theorem of Arithmetic

Fundamental Theorem of Calculus

Zorn's Lemma and General Topology

Untyped Lambda Calculus as Initial Object in Cat of Exponential Monads

CoInduction Termination and Category Theory

Real Numbers as CoInductive Streams of Digits

Tarski-Grothendieck Set Theory