This is an unofficial reimagining of the Archive of Formal Proofs
Interval Arithmetic on 32-bit Wordsby Rose Bohrer
Differential Dynamic Logicby Rose Bohrer