This is a super prototype.
Porting part of dafny standard library into verus (https://github.com/verus-lang/verus), focussing on non-linear arithmetic and collection now.
Now porting into verus standard library ahuoguo/verus#3
This is a super prototype.
Porting part of dafny standard library into verus (https://github.com/verus-lang/verus), focussing on non-linear arithmetic and collection now.
Now porting into verus standard library ahuoguo/verus#3