Merge requests · LARA / lisa

Allow `InstantiateForall` to weaken sequents

!169 · created Jul 03, 2023 by Sankalp Gambhir
- Merged
updated Jul 03, 2023
Small Fix for Unique Comprehension Description

!168 · created Jun 05, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 2023
Infix append in MapProofTest

!167 · created May 12, 2023 by Viktor Kuncak
- Closed
updated Jul 04, 2023
Types

!166 · created May 09, 2023 by Viktor Kuncak
- Closed
updated Jul 04, 2023
Feature: Assume arbitrary number of formulae at once

!165 · created May 05, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 2023
Restricted function theorems

!164 · created May 01, 2023 by Dario Halilovic
- Merged
updated Jun 06, 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
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
Hotfix: error printing with `repr`

!158 · created Apr 20, 2023 by Sankalp Gambhir
- Merged
updated Apr 20, 2023
Transfinite Recursion (part 2)

!156 · created Apr 20, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 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
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
Group Theory

!151 · created Mar 16, 2023 by Dario Halilovic
- Closed
updated Jul 04, 2023
Ordinals and (Half of) Transfinite Recursion

!150 · created Mar 14, 2023 by Sankalp Gambhir
- Merged
updated Apr 17, 2023
Manual Update 03/2023

!149 · created Feb 28, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 2023
Cleanup: Simplification and Unification Utils

!148 · created Feb 28, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 2023