7 ms·
Perhaps verus would be helpful to the op: https://github.com/verus-lang/verus https://github.com/verus-lang/verus
by meling 2y ago
Perhaps verus would be helpful to the op: https://github.com/verus-lang/verus https://github.com/verus-lang/verus