# Contributing We use proverif as our main tool for formal verification. This is not about code verification, but about the theory behind the protocol. Please feel free to point out bugs (use the bug tracker), or add new proofs.
