News for hackers. Stuff that matters.

A comment on Verified Programming in F*: A Tutorial. Parent comment

Re:Verified Programming in F*: A Tutorial by wisam on Monday January 04, 2021 @07:07AM (#25630271)
Thanks, I stand corrected.
[ Parent | on HN ]

There are no comments on this comment yet.