This is an unofficial reimagining of the Archive of Formal Proofs
Matrices for ODEsby Jonathan Julian Huerta y Munive
Verification Components for Hybrid Systemsby Jonathan Julian Huerta y Munive