search

epfl-lara / lisa

Proof assistant based on first-order logic and set theory
Apache License 2.0
33 stars 18 forks source link

Infix append in MapProofTest #167

Closed drganam closed 1 year ago

drganam commented 1 year ago

Minor update in the MapProofTest example.

drganam commented 1 year ago

This might need to be propagated to the latest variation with by Apply etc. (I didn't manage to find the source for that version here)

sankalpgambhir commented 1 year ago

This might need to be propagated to the latest variation with by Apply etc. (I didn't manage to find the source for that version here)

The by Apply version is currently under testing. I think we discussed we would merge that once we have a better syntax to generate those things. We'll watch out for the change when that happens.

drganam commented 1 year ago

@SimonGuilloud could you point me to the version we submitted to AITP?