Skip to content

Commit f2a3e42

Browse files
btjbtj
committed
Add a README giving a tour of the proof
1 parent dee31cd commit f2a3e42

File tree

1 file changed

+581
-0
lines changed
  • verifast-proofs/alloc/collections/linked_list.rs

1 file changed

+581
-0
lines changed

0 commit comments

Comments
 (0)