News for hackers. Stuff that matters.

A comment on F*: A proof oriented general purpose programming language.

Re:F*: A proof oriented general purpose programming language by spartakos87 on Friday December 27, 2024 @01:51PM (#42524860)
Where can someone be started with this kind of programming? System verification etc, books? youtube lectures?
[ Parent | on HN ]

There are no comments on this comment yet.