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

Support 'lambda' in equation JSON



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