Skip to content
Snippets Groups Projects
Commit 2b560f64 authored by Robbert Krebbers's avatar Robbert Krebbers Committed by Ralf Jung
Browse files

style nits

parent bb753a21
No related branches found
No related tags found
1 merge request!343some more lemmas about list folding
Pipeline #58217 passed
Stage: build