Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

 (github.com)

2 points | by shariq81 9 hours ago ago

No comments yet.