Post #2735437
2026-04-21 18:40 UTC
@boarders@mathstodon.xyz I was like, what, real numbers?? Then I realized I accidentally said the Fundamental Theorem of *Algebra* when I actually meant *Arithmetic*! haha, oops!
Replies (2)
-
@boarders@mathstodon.xyz 2026-04-21 19:05
@byorgey@mathstodon.xyz i do still think you’re a wizard, but fortunately my sanity is slightly restored that it doesn’t take 750 lines of agda to prove the fundamental theorem of algebra
-
@Taneb@hacksrus.xyz 2026-04-22 10:19
@byorgey@mathstodon.xyz nice! How does it compare to the implementation I made for agda-stdlib? https://agda.github.io/agda-stdlib/master/Data.Nat.Primality.Factorisation.html