News for hackers. Stuff that matters.

A comment on Extracting verified C++ from the Rocq theorem prover at Bloomberg. Parent comment

Re:Extracting verified C++ from the Rocq theorem prover at B... by csto12 on Saturday January 24, 2026 @08:50PM (#46749850)
Are LLMs part of your development workflow for something like this? If they are, is it through something like Claude Code or something else?
[ Parent | on HN ]

There are no comments on this comment yet.