3 ms·Using a LLM to generate the proofs from a spec and verify it (OK/Error) would make it much faster.by deterministic 1y agoUsing a LLM to generate the proofs from a spec and verify it (OK/Error) would make it much faster.