VeriFast solution for Challenge 5 (linked_list.rs)#238

Open

btj wants to merge 3 commits intomodel-checking:mainfrom

btj:verifast-linked-list

Commits on Jun 3, 2025

Commits on Jun 5, 2025

Add a README giving a tour of the proof
btj
committed