JQCTeam/strong-goldbach-semantic-SOL-HOL
1 best points · 2 comments · 1 Hacker News post · View on GitHub
Hacker News discussions
- GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (1 points, 2 comments, by justdoitookk, 2025-08-02)