Bibliography (5):
https://github.com/lean-dojo
https://leandojo.org/
https://openai.com/index/gpt-4-research/
Wikipedia Bibliography:
Lean (proof assistant)
MIT License