zfwang96 / tlaplus-lamport-projects Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hengxin/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
License: GNU General Public License v3.0