Merge requests · LARA / lisa

Allow `InstantiateForall` to weaken sequents

!169 · created Jul 03, 2023 by Sankalp Gambhir
- Merged
updated Jul 03, 2023
Restricted function theorems

!164 · created May 01, 2023 by Dario Halilovic
- Merged
updated Jun 06, 2023
Fix: take assumptions into account for subproof statements

!160 · created Apr 26, 2023 by Sankalp Gambhir
- Merged
updated May 02, 2023
Fix: proper renaming of bound substitutions

!159 · created Apr 25, 2023 by Sankalp Gambhir
- Merged
updated Apr 29, 2023
Theory Modification: Stronger Version of Replacement Schema

!163 · created Apr 28, 2023 by Sankalp Gambhir
- Merged
updated Apr 29, 2023
Minor fixes and faster apologies

!162 · created Apr 27, 2023 by Sankalp Gambhir
- Merged
updated Apr 27, 2023
Hotfix: error printing with `repr`

!158 · created Apr 20, 2023 by Sankalp Gambhir
- Merged
updated Apr 20, 2023
Sorry

!155 · created Apr 18, 2023 by Viktor Kuncak
- Merged
updated Apr 19, 2023
correct issue deep in OL Equivalence checker related to quantifiers.

!154 · created Apr 18, 2023 by Viktor Kuncak
- Merged
updated Apr 19, 2023
Ordinals and (Half of) Transfinite Recursion

!150 · created Mar 14, 2023 by Sankalp Gambhir
- Merged
updated Apr 17, 2023
Set theory updates

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

!145 · created Feb 22, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Single-step parallel rewrite utilities

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

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

!134 · created Feb 15, 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
Upgrade scala version to 3.2.2

!124 · created Jan 31, 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
Minor Helpers Improvements

!153 · created Apr 11, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Fix: Kernel Substitution Fresh ID Generation

!152 · created Mar 28, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023