Alloy (http://alloytools.org ) would be a LOT more popular if it had free, comprehensive, online documentation. Kinda thinking of making it my next big technical writing project once the TLA+ writing wraps up
-
-
The original learntla website, which Lamport asked me to update with some fixes
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.