Merge requests · LARA / lisa

Front integration

!52 · created Oct 03, 2022 by Viktor Kuncak front-integration
- Merged
updated Oct 03, 2022
Implement a parser for LISA kernel

!46 · created Sep 20, 2022 by Viktor Kuncak
- Merged
updated Oct 03, 2022
Introduce True and False constants

!50 · created Oct 03, 2022 by Viktor Kuncak
- Merged
updated Oct 03, 2022
Theories

!24 · created Jun 17, 2022 by Viktor Kuncak
- Merged
updated Oct 02, 2022
Variables change

!27 · created Jul 13, 2022 by Viktor Kuncak
- Merged
updated Oct 02, 2022
Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity

!45 · created Sep 19, 2022 by Viktor Kuncak
- Merged
updated Sep 29, 2022
General grammatical updates for reference manual

!43 · created Sep 02, 2022 by Sankalp Gambhir
- Merged
updated Sep 29, 2022
Clarify front tests

!41 · created Aug 31, 2022 by Viktor Kuncak front-integration
- Merged
updated Sep 29, 2022
Proof of x+y=y+x in Peano arithmetic

!42 · created Sep 02, 2022 by Viktor Kuncak
- Merged
updated Sep 25, 2022
Fix a broken link to the reference manual

!44 · created Sep 05, 2022 by Viktor Kuncak
- Merged
updated Sep 08, 2022
More updates

!40 · created Aug 28, 2022 by Viktor Kuncak front-integration
- Merged
updated Aug 28, 2022
Front integration

!35 · created Aug 22, 2022 by Viktor Kuncak front-integration
- Merged
updated Aug 22, 2022
Add a util to recover an incorrect proof step given a path

!29 · created Jul 18, 2022 by Viktor Kuncak
- Merged
updated Aug 05, 2022
In CI, run tests before checking style

!31 · created Aug 01, 2022 by Viktor Kuncak
- Merged
updated Aug 05, 2022
In ProofCheckerSuite#checkProof, fail if the proof is not valid

!32 · created Aug 01, 2022 by Viktor Kuncak
- Merged
updated Aug 02, 2022
Add a test theory to facilitate writing proof assistant tests

!28 · created Jul 18, 2022 by Viktor Kuncak
- Merged
updated Jul 19, 2022
Proposal: re-organization into separate modules

!20 · created Jun 13, 2022 by Viktor Kuncak
- Merged
updated Jun 23, 2022
Code reorganization and helpers

!22 · created Jun 13, 2022 by Viktor Kuncak
- Merged
updated Jun 13, 2022
Various improvements and refactoring

!19 · created Jun 11, 2022 by Viktor Kuncak
- Merged
updated Jun 13, 2022
Fix CI

!18 · created Jun 11, 2022 by Viktor Kuncak
- Merged
updated Jun 11, 2022