AutoVerus

https://github.com/microsoft/verus-proof-synthesis

AutoVerus is an approach and toolset for automated synthesis of Verus proofs, enabling automated...

Tokens:10,017
Snippets:67
Trust Score:9.5
License:MIT
Update:8 months ago
Tokens:
Raw