[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
TLA+ Web Site
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Mon, 9 Jul 2018 16:58:38 -0700 (PDT)
I plan to try to improve the TLA+ web site. I want to make it more inviting to potential users and more helpful to current users of TLA+. I would welcome suggestions for what I should do.
Leslie
Follow-Ups
:
Re: [tlaplus] TLA+ Web Site
From:
Gregory Brown
Prev by Date:
Re: [tlaplus] What is the purpose of THEOREM in AsynchInterface?
Next by Date:
Simple Concurrent/Distributed example with an implementation
Previous by thread:
Re: [tlaplus] What is the purpose of THEOREM in AsynchInterface?
Next by thread:
Re: [tlaplus] TLA+ Web Site
Index(es):
Date
Thread