Bibliography (5):

  1. https://github.com/lean-dojo

  2. https://leandojo.org/

  3. https://openai.com/index/gpt-4-research/

  4. Wikipedia Bibliography:

    1. Lean (proof assistant)

    2. MIT License