Comment #43184851

/story/43184851

Posted by oecumena on Wednesday February 26, 2025 @10:57AM
from the self-post dept.

( 1 comment | on HN )

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 ]