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