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

*From*: "'Martin' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>*Date*: Sun, 28 Apr 2024 01:38:34 +0200*References*: <48640047-49ce-4d12-899b-acea04612b3bn@googlegroups.com>*User-agent*: Mozilla Thunderbird

Hello Marta!

cheers, Martin On 4/28/24 00:49, marta zhango wrote:

Have been reading the book TLA+ of Hillel. It is as though TLA+ is only useful to test computations algorithms. One cannot test mathematical proofs. Is this correct ?

-- 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/79520297-12e7-4df4-99d0-51e6b1a1dc40%40gmail.com.

**Follow-Ups**:

**References**:

- Prev by Date:
**[tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs** - Next by Date:
**Re: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs** - Previous by thread:
**[tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs** - Next by thread:
**Re: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs** - Index(es):