This repository serves as a place to put new concept proofs that should be accessible for everyone and shouldn't be added to the projects directly.