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