↑
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
Posted by
shariq81
|
an hour ago |
0 comments
There are no comments
back
