We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
- We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
- proofs are shipping like software now
- Respectfully why did you not check these before releasing them?
- To save you a click: > As a result, we have withdrawn the following three manuscripts: - Algebraicity of Weil classes on split abelian eightfolds - Algebraicity of Kuga–Satake Correspondences for K3 Surfaces - The rational Hodge conjecture for products of K3 surfaces