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

Focus on the systems we evaluate

Subject: Focus on the systems we evaluate
From: Chris Warburton
Date: Fri, 01 Dec 2017 12:00:35 +0000
Resolution: fixed
State: resolved

Lots of background discusses IsaScheme and IsaCoSy, but we evaluate
QuickSpec.

Follow-Ups:
- Re: Focus on the systems we evaluate
  - From: Chris Warburton

Prev by Date: Use the same syntax for e.g. Nat
Next by Date: Talking about Isabelle
Previous by thread: Re: Use the same syntax for e.g. Nat
Next by thread: Re: Focus on the systems we evaluate
Index(es):
- Date
- Thread