GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)github.com/JQCTeam1 pointjustdoitookka year ago