News for hackers. Stuff that matters.

A comment on F* – A Proof-Oriented Programming Language. Parent comment

Re:F* – A Proof-Oriented Programming Language by eggy on Friday May 17, 2024 @06:25AM (#40388317)
Thanks, I had looked at ATS many years ago, but I had forgotten about it. I'm going to look at both Lean and ATS, but I guess I'll stick with SPARK2014 for work now.
[ Parent | on HN ]

There are no comments on this comment yet.