Theorem Prover Museum established 10 February 2016

We have just started the Theorem Prover Museum at https://theoremprover-museum.github.io

This “Museum” intends to collect the source code of theorem proving systems in GitHub repositories thus preserving them as cultural artefacts for historic study.