← Back to context

Comment by sestep

10 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 8 hours ago

Is this closed source?