Skip to content
Snippets Groups Projects

adjust name + use new stdpp lemma

Passed
Lennard Gäher created pipeline for commit 590f19bb
, finished
1 related merge request: !38 Add lemmas used by RefinedRust
branch
1 job 7 minutes 1 second, queued for 3 seconds