This is an unofficial reimagining of the Archive of Formal Proofs
The IMAP CmRDTby Tim Jungnickel, Lennart Oldenburg and Matthias Loibl