/tlaplus_animation

A TLA+ module for animating TLC traces.

Primary LanguageTLA

Watchers