Skip to content
Unverified Commit 4c94e439 authored by Branislav Kontur's avatar Branislav Kontur
Browse files

Remove compact proofs so they could be restored in different branch

parent ded4e864
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment