tlaplus_animation icon indicating copy to clipboard operation
tlaplus_animation copied to clipboard
verified publisher icon will62794

Document invariants of the examples

Open lemmy opened this issue 7 years ago • 0 comments

What invariants should TLC check for LogVisibility, Raft and Elevator in order to produce an interesting animation?

lemmy avatar Jul 25 '18 21:07 lemmy