Bibliography (9):

1. https://huggingface.co/hoskinson-center/proofGPT-v0.1-6.7B

2. https://huggingface.co/datasets/hoskinson-center/proofnet

3. https://x.com/zhangir_azerbay/status/1630087513640431616

4. Wikipedia Bibliography:

   1. Lean (proof assistant)

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

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

   3. https://en.wikipedia.org/wiki/Complex_analysis  :

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

   4. https://en.wikipedia.org/wiki/Linear_algebra  :

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

   5. https://en.wikipedia.org/wiki/Abstract_algebra  :

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

   6. https://en.wikipedia.org/wiki/Topology  :

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