Merge requests · LARA / lisa

Set theory updates

!147 · created Feb 24, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Helpers

!146 · created Feb 23, 2023 by Viktor Kuncak
- Merged
updated Mar 29, 2023
Greedy simplification utilities

!145 · created Feb 22, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
General substitution utilities

!144 · created Feb 21, 2023 by Sankalp Gambhir
- Merged
updated Feb 22, 2023
Corrected Tautology bug.

!143 · created Feb 21, 2023 by Viktor Kuncak
- Merged
updated Feb 21, 2023
Cleansubprojects

!142 · created Feb 21, 2023 by Viktor Kuncak
- Merged
updated Feb 21, 2023
Example of tactic dev works.

!141 · created Feb 20, 2023 by Viktor Kuncak
- Merged
updated Feb 20, 2023
Single-step parallel rewrite utilities

!140 · created Feb 20, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Submission

!139 · created Feb 20, 2023 by Viktor Kuncak
- Merged
updated Feb 20, 2023
Change occurrences of Rewrite to Restate.from

!138 · created Feb 20, 2023 by Sankalp Gambhir
- Closed
updated Apr 14, 2023
Substitution param inference Iff

!137 · created Feb 17, 2023 by Sankalp Gambhir
- Closed
updated Apr 14, 2023
Substitution Rules Param Inference

!136 · created Feb 17, 2023 by Sankalp Gambhir
- Merged
updated Feb 17, 2023
Unicode dsl

!135 · created Feb 16, 2023 by Viktor Kuncak
- Merged
updated Feb 16, 2023
Set theory 3

!134 · created Feb 15, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Set theory 2

!133 · created Feb 13, 2023 by Sankalp Gambhir
- Merged
updated Feb 13, 2023
Partial def

!132 · created Feb 13, 2023 by Viktor Kuncak
- Merged
updated Feb 13, 2023
Definition correction

!131 · created Feb 09, 2023 by Viktor Kuncak
- Merged
updated Feb 13, 2023
Set Theory 2: The Two Functions

!130 · created Feb 09, 2023 by Sankalp Gambhir
- Merged
updated Feb 13, 2023
Instantiated Facts

!128 · created Feb 08, 2023 by Viktor Kuncak
- Merged
updated Feb 09, 2023
Unification and matching

!127 · created Feb 08, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023