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

Comparison between TLAPS and other proof assitants

From: Roberto <hous...@xxxxxxxxx>
Date: Tue, 5 Feb 2019 05:38:23 -0800 (PST)

Hi All,

I am interested to know how TLA+/TLAPS compares to other proof assistants such as Coq, Isabelle, Spin (an others) especially in term of expressiveness power.

Regards,
Roberto

Follow-Ups:
- Re: [tlaplus] Comparison between TLAPS and other proof assitants
  - From: Stephan Merz
- Re: Comparison between TLAPS and other proof assitants
  - From: saksha . . .

Prev by Date: Re: [tlaplus] Mapping items from one constant to another?
Next by Date: How does Fairness relate to the State Graph
Previous by thread: Re: [tlaplus] Re: Generating a set of structs where each key ranges over a distinct set
Next by thread: Re: Comparison between TLAPS and other proof assitants
Index(es):
- Date
- Thread