Cheap code means formal verification is reasonable now(antfly.io)
antfly.io
Cheap code means formal verification is reasonable now
https://antfly.io/blog/agent-formal-verification
1 comments
I work with you so I'm bias but I think this is neat.
https://antfly.io/blog/agent-formal-verification