Thursday, July 29, 2021

The Fundamental Theorem of Algebra in ACL2

Donate to arXiv

Please join the Simons Foundation and our generous member organizations in supporting arXiv during our giving campaign September 23-27. 100% of your contribution will fund improvements and new initiatives to benefit arXiv's global scientific community.



from Hacker News https://ift.tt/3l38GqA

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.