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

1 points by justdoitookk 1y ago ↗ HN

2 comments

[ 4.0 ms ] story [ 21.5 ms ] thread

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

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