I think it is important to know the correctness of contracts, because these are financial instruments, and errors/bugs can be catastrophic. I am just getting started. I want to use this as an opportunity to understand how to prove the correctness of contracts.
What it does
How I built it
Challenges I ran into
Accomplishments that I'm proud of
What I learned
What's next for Actus Contract Assistant