Merge requests · LARA / lisa

Set2

!126 · created Feb 08, 2023 by Viktor Kuncak
- Merged
updated Feb 08, 2023
Corrections on proofs Mapping/SetTheory

!125 · created Jan 31, 2023 by Alexandre Esteban Sallinen
- Closed
updated Jul 04, 2023
Upgrade scala version to 3.2.2

!124 · created Jan 31, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Cleaning

!123 · created Jan 13, 2023 by Viktor Kuncak
- Merged
updated Jan 13, 2023
OL solver and tactic

!122 · created Jan 12, 2023 by Viktor Kuncak
- Merged
updated Jan 13, 2023
Change weakening to use OL implication

!121 · created Jan 11, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Safe tactic calls for `Restate`

!118 · created Jan 10, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Defdsl

!117 · created Jan 10, 2023 by Viktor Kuncak
- Merged
updated Jan 10, 2023
Weakening message fix

!116 · created Jan 09, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Set Theory and Jechcercises 1

!115 · created Dec 23, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Instantiation

!114 · created Dec 16, 2022 by Viktor Kuncak
- Merged
updated Jan 09, 2023
New proofs

!113 · created Dec 16, 2022 by Alexandre Esteban Sallinen
- Merged
updated Jan 09, 2023
Minor bugfix.

!112 · created Dec 16, 2022 by Viktor Kuncak
- Merged
updated Dec 16, 2022
Correction

!111 · created Dec 16, 2022 by Viktor Kuncak
- Closed
updated Dec 16, 2022
Alpha eq correc

!109 · created Dec 08, 2022 by Viktor Kuncak
- Merged
updated Dec 08, 2022
Issue with top and bot constants in EqChecker

!108 · created Dec 07, 2022 by Viktor Kuncak
- Merged
updated Dec 07, 2022
Equivalence checker

!107 · created Dec 06, 2022 by Viktor Kuncak
- Merged
updated Dec 06, 2022
Tests for proof tactics

!106 · created Dec 02, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
QuickFix: remove occurences of _ in set theory definitions causing identifier errors

!105 · created Dec 01, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Abstraction

!104 · created Nov 29, 2022 by Viktor Kuncak
- Merged
updated Dec 02, 2022