Skip to content
Snippets Groups Projects
Commit 8ab4d515 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Initial lemma. Need to improve telescope approach for application purposes

parent 946ba572
No related branches found
No related tags found
1 merge request!24Protocol equivalence
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