They've created an open source project in GitHub that is not completely user driven. There is a manager, Bruno Woltzenlogel Paleo. Together with some friends, we are hoping to help create the Encyclopedia of Logical Systems. Gentzen is the source of inspiration for this encyclopedia.
From the readme:
This is a collaborative and open Encyclopedia of Proof Systems. If you would like to contribute, please check the submission instructions.
(picture of David Hilbert, who had the original idea that proofs should be investigated as mathematical objects on their own)