verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/vstd/arithmetic/README.md

February 2024

Andrea Lattuada
rename pervasive -> vstd
committed