[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Lean vs TLA+

From: petarm@xxxxxxxxx
Date: Tue, 17 Mar 2020 12:52:29 -0700 (PDT)

Hi Everyone!

I am wondering if there is a high-level statement that compares the

expressiveness of TLA+ vs that of LEAN.

Thank you

Petar

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/edf6cd0d-a753-4b5b-824c-c6d2a7623d69%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: Lean vs TLA+
  - From: Ron Pressler
- Re: [tlaplus] Lean vs TLA+
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] Changing editor's font colors for numbers, logical symbols, etc in the spec
Next by Date: [tlaplus] Re: Modelling a REST API server in TLA+ - suggestions/examples
Previous by thread: Re: [tlaplus] Changing editor's font colors for numbers, logical symbols, etc in the spec
Next by thread: Re: [tlaplus] Lean vs TLA+
Index(es):
- Date
- Thread