News for hackers. Stuff that matters.

A comment on A Formal Proof of Complexity Bounds on Diophantine Equations.

Re:A Formal Proof of Complexity Bounds on Diophantine Equations by badmonster on Friday May 23, 2025 @04:09PM (#44076177)
impressive formalization effort that bridges deep number theory and formal methods
[ Parent | on HN ]

There are no comments on this comment yet.