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

Support 'lambda' in equation JSON

Subject: Support 'lambda' in equation JSON
From: Chris Warburton
Date: Thu, 15 Feb 2018 14:30:34 +0000
Resolution: fixed
State: resolved

IsaCoSy can produce lambda expressions in its theorems/conjectures. We
need to extend our JSON format to allow them.

Follow-Ups:
- Re: Support 'lambda' in equation JSON
  - From: Chris Warburton
- Re: Support 'lambda' in equation JSON
  - From: Chris Warburton

Prev by Date: Run benchmark analyses even after failure
Next by Date: Re: Support 'lambda' in equation JSON
Previous by thread: Re: Run benchmark analyses even after failure
Next by thread: Re: Support 'lambda' in equation JSON
Index(es):
- Date
- Thread