Skip to content
Snippets Groups Projects

Simplify proof of `list_find_ext`.

Passed
Robbert Krebbers created pipeline for commit 3eb9d489
, finished
For master
8 jobs 8 minutes 37 seconds, queued for 0 seconds