← Back to context

Comment by sestep

7 hours ago

My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine.

1 comment

sestep

Reply

FuckButtons 5 hours ago

Is this closed source?