search

will62794 / tla-web

Interactive, web-based environment for exploring TLA+ specifications.
MIT License
69 stars 7 forks source link

Consider Github.dev as the frontend #2

Closed lemmy closed 2 years ago

lemmy commented 2 years ago

See https://github.com/tlaplus/vscode-tlaplus/issues/239