We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Phase 2 for Formal Verso. Main results: 1 - Verify contracts: custom custom_types Auth auth Cross-contract invocations cross_contract 2 - Improve user experiences (error reports, Library)