News for hackers. Stuff that matters.

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

Re:Kind: A Modern Proof Language by lostmsu on Monday August 16, 2021 @06:02PM (#28203507)
Code Contracts are mostly abandoned AFAIK.
[ Parent | on HN ]

There are no comments on this comment yet.