Merge requests · LARA / lisa

Change weakening to use OL implication

!121 · created Jan 11, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Weakening message fix

!116 · created Jan 09, 2023 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Tests for proof tactics

!106 · created Dec 02, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
QuickFix: remove occurences of _ in set theory definitions causing identifier errors

!105 · created Dec 01, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Proof checking at the level of tactics

!101 · created Nov 23, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Small tactics

!72 · created Oct 21, 2022 by Sankalp Gambhir easy-tactics
- Merged
updated Apr 14, 2023
Type fix following ProofStepJudgement for InstantiateForall

!70 · created Oct 12, 2022 by Sankalp Gambhir easy-tactics
- Merged
updated Apr 14, 2023
Uniformize premise input usage

!67 · created Oct 11, 2022 by Sankalp Gambhir easy-tactics
- Merged
updated Apr 14, 2023
Easy-tactics API for Forall Instantiation

!68 · created Oct 11, 2022 by Sankalp Gambhir easy-tactics
- Merged
updated Apr 14, 2023
Added subset definition axiom

!48 · created Sep 23, 2022 by Sankalp Gambhir
- Merged
updated Apr 14, 2023
Helpers

!146 · created Feb 23, 2023 by Viktor Kuncak
- Merged
updated Mar 29, 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
Submission

!139 · created Feb 20, 2023 by Viktor Kuncak
- Merged
updated Feb 20, 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 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