will62794/tla-web

What license is this released under?

Closed this issue · 1 comments

lemmy commented

...most TLA+ projects are released under https://opensource.org/licenses/MIT.

will62794 commented

Added in 4d326bc.