News for hackers. Stuff that matters.

A comment on Kind: A Modern Proof Language. Parent comment

Re:Kind: A Modern Proof Language by rigille on Wednesday August 11, 2021 @01:39PM (#28145123)
Thanks for pointing that out! It's now fixed.
[ Parent | on HN ]
Re:Kind: A Modern Proof Language by NieDzejkob on Thursday August 12, 2021 @09:47AM (#28156283)
How hard would it be to prove correctness of this quicksort in an example?
[ Parent | on HN ]