ahuoguo

Verus Scope

ahuoguo

Classify and display Verus exec/spec/proof code: assumptions red, specs yellow, proofs grey, with three display modes.