You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 28, 2024. It is now read-only.
I expect the TLA+ wiki will have pages that talk about apalache. If they want, I don't see a reason why they can't move the wiki over the TLA+ wiki, but if they're happy with their current setup I dont see a reason to force them to move either. Though it's good to know they're with Apache 2, I'm curious to see if LF has a different, preferred license
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Apalache has quite a developed wiki, which is also written in mdbook; see: https://github.com/informalsystems/apalache/tree/main/docs
While a lot of it is Apalache-specific, it also has an excellent reference section for TLA+: https://apalache.informal.systems/docs/lang/index.html
What is the desired relationship, if any, between this wiki and that wiki? The wiki is licensed under Apache 2.0 as far as I can tell.
The text was updated successfully, but these errors were encountered: