Hey everyone 
We’ve just published a new walkthrough video showing how to use CodeLogician with Claude to build a formal M&A advisory framework.
In the video, Denis (Co-Founder & Co-CEO) and Paul (CSO) take a real term sheet PDF, feed it into Claude to extract key entities, rules and process flows, then use Imandra’s formal verification to mathematically prove whether critical safeguards hold across every possible scenario.
The highlight: Imandra CodeLogician catches a flaw in the clawback mechanism that would allow a buyer to fall short on recovering damages, exactly the kind of gap that’s expensive to find out about after a deal closes.
What’s covered:
- Extracting structured data from a term sheet PDF using Claude
- Building a repeatable advisory framework in code
- Formal verification of key deal constraints (disclosure defense, time limits, clawback recovery)
- How a failed proof reveals a real design flaw with a concrete counter-example
Watch the full video here.
More case studies at www.codelogician.dev.
Would love to hear your thoughts. Has anyone else been experimenting with formal verification on contract logic or deal workflows? Let us know below.