Add model for vstd Set and prove its axioms#1426

Open

matthias-brun wants to merge 2 commits intoverus-lang:mainfrom matthias-brun:verified-set-axioms

+596-68

Commits on Feb 1, 2025

Add model for vstd Set and prove its axioms
matthias-brun
committed

Commits on Feb 3, 2025

Fix set fold test
matthias-brun
committed