Bibliography (5):

1. Social Processes and Proofs of Theorems and Programs

2. How to Write a 21^st Century Proof

3. STEPS Toward Expressive Programming Systems: "A Science Experiment"

4. Wikipedia Bibliography:

   1. Lean (proof assistant)

   2. https://en.wikipedia.org/wiki/HOL_Light  :

      https://en.wikipedia.org/wiki/HOL_Light