← Back to context Comment by mattr03 11 hours ago How do you gain confidence that your theorem actually applies to your code? 2 comments mattr03 Reply sestep 10 hours ago My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine. FuckButtons 8 hours ago Is this closed source?
sestep 10 hours ago My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine. FuckButtons 8 hours ago Is this closed source?
My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine.
Is this closed source?