Proof assistant

Software tool to assist with the development of formal proofs by human-machine collaboration
An interactive proof session in CoqIDE, showing the proof script on the left and the proof state on the right.

The is an initiative to conserve the sources of theorem prover systems for future analysis, since they are important cultural/scientific artefacts. It has the sources of many of the systems mentioned above.