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}}
Updated date
Allow `InstantiateForall` to weaken sequents
lisa!169
· created
Jul 03, 2023
by
Sankalp Gambhir
Merged
0
updated
Jul 03, 2023
Changes to Reporter
inox!199
· created
May 01, 2023
by
Viktor Kuncak
Merged
0
updated
Jun 16, 2023
Inline ADT and tuple selection for variables
inox!198
· created
Apr 20, 2023
by
Viktor Kuncak
Merged
0
updated
Jun 16, 2023
Restricted function theorems
lisa!164
· created
May 01, 2023
by
Dario Halilovic
Merged
0
updated
Jun 06, 2023
Fix: take assumptions into account for subproof statements
lisa!160
· created
Apr 26, 2023
by
Sankalp Gambhir
Merged
0
updated
May 02, 2023
Fix: proper renaming of bound substitutions
lisa!159
· created
Apr 25, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 29, 2023
Theory Modification: Stronger Version of Replacement Schema
lisa!163
· created
Apr 28, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 29, 2023
Minor fixes and faster apologies
lisa!162
· created
Apr 27, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 27, 2023
Hotfix: error printing with `repr`
lisa!158
· created
Apr 20, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 20, 2023
Sorry
lisa!155
· created
Apr 18, 2023
by
Viktor Kuncak
Merged
0
updated
Apr 19, 2023
correct issue deep in OL Equivalence checker related to quantifiers.
lisa!154
· created
Apr 18, 2023
by
Viktor Kuncak
Merged
0
updated
Apr 19, 2023
Ordinals and (Half of) Transfinite Recursion
lisa!150
· created
Mar 14, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 17, 2023
Set theory updates
lisa!147
· created
Feb 24, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Greedy simplification utilities
lisa!145
· created
Feb 22, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Single-step parallel rewrite utilities
lisa!140
· created
Feb 20, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Unification and matching
lisa!127
· created
Feb 08, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Set theory 3
lisa!134
· created
Feb 15, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Set Theory and Jechcercises 1
lisa!115
· created
Dec 23, 2022
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Upgrade scala version to 3.2.2
lisa!124
· created
Jan 31, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Safe tactic calls for `Restate`
lisa!118
· created
Jan 10, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Prev
1
2
3
4
5
…
12
Next