michaelpaper
Results
1
issues of
michaelpaper
Hi there ! I was trying to follow Prusti's user guide, and I ran into an issue on part 4.3, trying to prove the second invariant of linked lists (namely...
bug