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

*From*: marta zhango <martazhango@xxxxxxxxx>*Date*: Sat, 27 Apr 2024 15:49:04 -0700 (PDT)

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/48640047-49ce-4d12-899b-acea04612b3bn%40googlegroups.com.

**Follow-Ups**:**Re: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs***From:*'Martin' via tlaplus

- Prev by Date:
**[tlaplus] Re: Best practices / advise on (de)structuring specs (modularize)** - Next by Date:
**Re: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs** - Previous by thread:
**[tlaplus] Re: Installing Ulpian Release on Ubunte Machine** - Next by thread:
**Re: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs** - Index(es):