Initiatives like the Theorem Prover Museum rely on the contributions of the community, so we need to reach that. Much has been done by personal e-mails to authors, so it is time to start writing and publishing articles. They are here.
Initiatives like the Theorem Prover Museum rely on the contributions of the community, so we need to reach that. Much has been done by personal e-mails to authors, so it is time to start writing and publishing articles. They are here.