source/docs/internal · verus · Tangled

Sign in Join now

verus stepbrobd.com /

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

forked from verus-lang/verus

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

verus /source /docs /internal

1 folder · 5 files

Máté Kovács · [vargo] feat: deprecate Vargo (#3105) · 3w ago

update wiki archive, fix windows build due to invalid Windows paths

Clean up the `docs` directory (#716)

record-history.md

[vargo] feat: deprecate Vargo (#3105)

trait-implementation-notes.md

Generalized lemma broadcast, implements #37 (#1022)

Clean up the `docs` directory (#716)

version-bumping.md

Replace lifetime_generate with THIR-based erasure (#1792)