1. Archive of formal proofs.
https://www.isa-afp.org/index.html
2. Write the docs.
https://www.writethedocs.org/
3. Boyer, R., et al.: The QED manifesto. In: Bundy, A. (ed.) Automated Deduction – CADE 12. LNAI, vol. 814, pp. 238–251. Springer, Heidelberg (1994).
http://www.cs.ru.nl/~freek/qed/qed.ps.gz
4. The Coq proof assistant (2019).
http://coq.inria.fr
5. Benzmüller, C.: Towards computer aided mathematics. J. Appl. Logic 4(4), 359–365 (2006).
https://doi.org/10.1016/j.jal.2005.10.001