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/
develop_proofs.md
January 2025
Bryan Parno
a97377c9
Copied
Failed
Copy SHA
New documentation page on devising invariants
(#1381)
(#1381)
Copy SHA
Browse repository
committed
1y ago
Bryan Parno
85d48368
Copied
Failed
Copy SHA
Rename the documentation page on using assert and assume to develop proofs.
Copy SHA
Browse repository
committed
1y ago
September 2024
Travis Hance
29e4da06
Copied
Failed
Copy SHA
guide: organize ToC a bit (#1252)
Copy SHA
Browse repository
committed
2y ago
July 2023
Jay Lorch
b2ed1ec6
Copied
Failed
Copy SHA
Merge branch 'main' into breaking-proofs-into-pieces
Copy SHA
Browse repository
committed
3y ago
Jialin Li
ff414355
Copied
Failed
Copy SHA
Extensional equality docs
(#647)
(#647)
Copy SHA
Browse repository
committed
3y ago
September 2022
Chris Hawblitzel
e12ca289
Copied
Failed
Copy SHA
Add more to docs/guide
Copy SHA
Browse repository
committed
4y ago
