Ordin
@oorie
Good to see NEAR working in AI-driven formal verification for code. We are working in something similar with https://iqcode.ai 👍
0 reply
0 recast
0 reaction