Merge requests · LARA / lisa

Set Theory 2: The Two Functions

!130 · created Feb 09, 2023 by Sankalp Gambhir
- Merged
updated Feb 13, 2023
Definition correction

!131 · created Feb 09, 2023 by Viktor Kuncak
- Merged
updated Feb 13, 2023
Instantiated Facts

!128 · created Feb 08, 2023 by Viktor Kuncak
- Merged
updated Feb 09, 2023
Set2

!126 · created Feb 08, 2023 by Viktor Kuncak
- Merged
updated Feb 08, 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
Defdsl

!117 · created Jan 10, 2023 by Viktor Kuncak
- Merged
updated Jan 10, 2023
New proofs

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

!114 · created Dec 16, 2022 by Viktor Kuncak
- Merged
updated Jan 09, 2023
Minor bugfix.

!112 · created Dec 16, 2022 by Viktor Kuncak
- Merged
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
Quickfix

!83 · created Oct 24, 2022 by Viktor Kuncak
- Merged
updated Dec 02, 2022
Substitutions

!84 · created Oct 26, 2022 by Viktor Kuncak
- Merged
updated Dec 02, 2022
Improvements

!91 · created Nov 01, 2022 by Viktor Kuncak
- Merged
updated Dec 02, 2022
Front integration

!54 · created Oct 04, 2022 by Viktor Kuncak front-integration
- Merged
updated Dec 02, 2022
Front integration

!53 · created Oct 03, 2022 by Viktor Kuncak front-integration
- Merged
updated Dec 02, 2022
Errors

!99 · created Nov 18, 2022 by Viktor Kuncak
- Merged
updated Dec 02, 2022
Abstraction

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