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

Version history of source/vstd/std_specs/array.rs

September 2026

wood-ghost
feat: add PartialEq specification for array and slice (#2776)
committed