News for hackers. Stuff that matters.

A comment on Can the language of proof assistants be used for general purpose programming?.

Re:Can the language of proof assistants be used for general ... by b9r5 on Friday October 27, 2023 @10:54PM (#38046650)
I thought this post was fun: https://blog.codeminer42.com/overcoming-challenges-and-craft...
[ Parent | on HN ]

There are no comments on this comment yet.