3 ms·
How does this differ from https://github.com/verus-lang/verus https://github.com/verus-lang/verus
by Trung0246 4mo ago
How does this differ from https://github.com/verus-lang/verus https://github.com/verus-lang/verus
- yjhjstz 4mo ago[flagged]
- isubasinghe 4mo agoCreusot works on functionalisation if I recall correctly. It translates to coma (https://coma.paulpatault.fr/language/program.html https://coma.paulpatault.fr/language/program.html). Verus encodes directly to SMT. Creusot may gain some more automation perhaps from this approach.