GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

2 comments

• justdoitookk 16 hours ago

  This is my first time using GitHub. If you notice any issues or have suggestions, feel free to let me know. Thanks!

• justdoitookk 15 hours ago

  I'm sorry — my GitHub repository is currently experiencing some issues.