Merge requests · LARA / lisa

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
Feature: Assume arbitrary number of formulae at once

!165 · created May 05, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 2023
Group Theory

!151 · created Mar 16, 2023 by Dario Halilovic
- Closed
updated Jul 04, 2023
Types

!166 · created May 09, 2023 by Viktor Kuncak
- Closed
updated Jul 04, 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
Corrections on proofs Mapping/SetTheory

!125 · created Jan 31, 2023 by Alexandre Esteban Sallinen
- Closed
updated Jul 04, 2023
Added tests to Substitution functions

!82 · created Oct 24, 2022 by Alexandre Esteban Sallinen
- Closed
updated Jul 04, 2023
Add natural language input

!25 · created Jun 17, 2022 by Viktor Kuncak
- Closed
updated Jul 04, 2023
Transfinite Recursion (part 2)

!156 · created Apr 20, 2023 by Sankalp Gambhir
- Closed
updated Jul 04, 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
Proof checking at higher abstraction level

!93 · created Nov 01, 2022 by Sankalp Gambhir
- Closed
updated Apr 14, 2023
Correction

!111 · created Dec 16, 2022 by Viktor Kuncak
- Closed
updated Dec 16, 2022
When removing a formula from a sequent, remove all isSame formulas

!30 · created Jul 18, 2022 by Viktor Kuncak
- Closed
updated Dec 06, 2022
Document and simplify synonyms support in parser

!90 · created Oct 31, 2022 by Viktor Kuncak
- Closed
updated Nov 23, 2022
Support parsing infix functions AND infix predicates

!92 · created Nov 01, 2022 by Viktor Kuncak
- Closed
updated Nov 23, 2022
Update the parser documentation

!96 · created Nov 04, 2022 by Viktor Kuncak
- Closed
updated Nov 23, 2022
Make proof tactics always return correct proofs given correct components

!26 · created Jul 01, 2022 by Viktor Kuncak
- Closed
updated Oct 23, 2022