Hacker News new | past | comments | ask | show | jobs | submit
sestep | on: LLMs are making formal software verification feasible at a much larger scale
My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine.
FuckButtons | parent
Is this closed source?
loading story #50207731