Skip to content
Snippets Groups Projects
Commit 5ffdc269 authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

finished solving lemmas. most time, f_case-case was missing

parent 75aa85d8
Hide whitespace changes
Inline Side-by-side
Showing
with 184 additions and 4 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment