Sign in
Join now
verus
stepbrobd.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from verus-lang/verus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
source/docs/guide/src/
exec_funs_as_values.md
October 2026
Travis Hance
39e84676
Copied
Failed
Copy SHA
Guide typos (#3340)
Copy SHA
Browse repository
committed
2w ago
May 2025
nobody
8707ef26
Copied
Failed
Copy SHA
Rename examples directory (rename source/rust_verify/example to examples)
Copy SHA
Browse repository
committed
1y ago
July 2024
Travis Hance
76f0386c
Copied
Failed
Copy SHA
documentation for closures and unions
Copy SHA
Browse repository
committed
2y ago
February 2024
Bryan Parno
9974fc00
Copied
Failed
Copy SHA
Merge branch 'main' into apply-verusfmt
Copy SHA
Browse repository
committed
2y ago
Travis Hance
7f1dd2e2
Copied
Failed
Copy SHA
guide: add clarification about 1-tuple
Copy SHA
Browse repository
committed
2y ago
Travis Hance
742d4cb2
Copied
Failed
Copy SHA
guide: write an initial chapter for higher-order fns
Copy SHA
Browse repository
committed
2y ago
