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

WIP: Proof of iProto_consistent_step

parent eda6b395
No related branches found
No related tags found
1 merge request!39Multiparty synchronous
Expand all Hide whitespace changes
Inline Side-by-side
theories/channel/multi_proto.v
+ 110
− 877
View file @ 0baa9a22
This diff is collapsed.
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