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

Built With

  • coq
Share this project: