Code

Verifying Invariant Preservation#634

Code

Closed

0xMushow wants to merge 1 commit intomainformal-land/coq-of-rust:mainfrom antoine-james@verifying-invariant-preservationformal-land/coq-of-rust:antoine-james@verifying-invariant-preservationCopy head branch name to clipboard

+5-2

Commits

Commits on Dec 11, 2024

• draft: Start working on CastU8 proof

  

  0xMushow

  authored and

  clarus

  committed
  26a04fb

  Copy full SHA for 26a04fb