U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
Most importantly, the fundamental perspective is different. Programming uses formal text to *construct* a system; in TLA⁺, like in physics, formal text is used to *describe* a system. E.g. https://groups.google.com/forum/#!searchin/tlaplus/balloons%7Csort:date/tlaplus/XsqwpUruTxY/-vz0d51tAQAJ …
Among other things, this means that the very roles of abstraction, composition and encapsulation are drastically different from those they play in programming.
This also sets TLA⁺ apart from similarly-rich logics with proof assistants and/or model checkers that *are* based on programming, like Lean or Agda, and SPIN's Promella or NuSMV's language.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
