This is an unofficial reimagining of the Archive of Formal Proofs
Jive Data and Store Modelby Nicole Rauch and Norbert Schirmer