will62794 / spectacleLinks

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
125Updated this week

Alternatives and similar repositories for spectacle

Users that are interested in spectacle are comparing it to the libraries listed below

Sorting: