Skip to content
GitLab
Explore
Sign in
LARA
Merge requests
Open
8
Merged
226
Closed
53
All
287
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
Introduce True and False constants
lisa!50
· created
Oct 03, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 03, 2022
Added subset definition axiom
lisa!48
· created
Sep 23, 2022
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Clarify front tests
lisa!41
· created
Aug 31, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Sep 29, 2022
Implement a parser for LISA kernel
lisa!46
· created
Sep 20, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 03, 2022
Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity
lisa!45
· created
Sep 19, 2022
by
Viktor Kuncak
Merged
0
updated
Sep 29, 2022
General grammatical updates for reference manual
lisa!43
· created
Sep 02, 2022
by
Sankalp Gambhir
Merged
0
updated
Sep 29, 2022
More updates
lisa!40
· created
Aug 28, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Aug 28, 2022
Fix a broken link to the reference manual
lisa!44
· created
Sep 05, 2022
by
Viktor Kuncak
Merged
0
updated
Sep 08, 2022
Front integration
lisa!35
· created
Aug 22, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Aug 22, 2022
Proof of x+y=y+x in Peano arithmetic
lisa!42
· created
Sep 02, 2022
by
Viktor Kuncak
Merged
0
updated
Sep 25, 2022
In ProofCheckerSuite#checkProof, fail if the proof is not valid
lisa!32
· created
Aug 01, 2022
by
Viktor Kuncak
Merged
0
updated
Aug 02, 2022
In CI, run tests before checking style
lisa!31
· created
Aug 01, 2022
by
Viktor Kuncak
Merged
0
updated
Aug 05, 2022
Add a test theory to facilitate writing proof assistant tests
lisa!28
· created
Jul 18, 2022
by
Viktor Kuncak
Merged
0
updated
Jul 19, 2022
Add a util to recover an incorrect proof step given a path
lisa!29
· created
Jul 18, 2022
by
Viktor Kuncak
Merged
0
updated
Aug 05, 2022
Variables change
lisa!27
· created
Jul 13, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 02, 2022
Proposal: re-organization into separate modules
lisa!20
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 23, 2022
Theories
lisa!24
· created
Jun 17, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 02, 2022
Update .gitignore for more build tools and IDEs
lisa!16
· created
Jun 10, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 11, 2022
Run scalafmt and scalafix on src/main and src/test
lisa!17
· created
Jun 10, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 11, 2022
Code reorganization and helpers
lisa!22
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 13, 2022
Prev
1
2
3
4
5
6
7
8
9
…
12
Next