News for hackers. Stuff that matters.

A comment on /story/43184851.

Re: by oecumena on Wednesday February 26, 2025 @10:57AM (#43184852)
Manual derivation of Hoare-triples for the long division algorithm verification.
[ Parent | on HN ]

There are no comments on this comment yet.