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}}
Created date
Allow `InstantiateForall` to weaken sequents
lisa!169
· created
Jul 03, 2023
by
Sankalp Gambhir
Merged
0
updated
Jul 03, 2023
Small Fix for Unique Comprehension Description
lisa!168
· created
Jun 05, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Add alternative solution for orderDec
cs206-demos!3
· created
May 31, 2023
by
Matt Bovel
0
updated
May 31, 2023
Update convolution solution
cs206-demos!2
· created
May 27, 2023
by
Sankalp Gambhir
0
updated
May 27, 2023
Infix append in MapProofTest
lisa!167
· created
May 12, 2023
by
Viktor Kuncak
Closed
0
updated
Jul 04, 2023
Types
lisa!166
· created
May 09, 2023
by
Viktor Kuncak
Closed
0
updated
Jul 04, 2023
Feature: Assume arbitrary number of formulae at once
lisa!165
· created
May 05, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Restricted function theorems
lisa!164
· created
May 01, 2023
by
Dario Halilovic
Merged
0
updated
Jun 06, 2023
Changes to Reporter
inox!199
· created
May 01, 2023
by
Viktor Kuncak
Merged
0
updated
Jun 16, 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
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
Hotfix: error printing with `repr`
lisa!158
· created
Apr 20, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 20, 2023
Transfinite Recursion (part 2)
lisa!156
· created
Apr 20, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Inline ADT and tuple selection for variables
inox!198
· created
Apr 20, 2023
by
Viktor Kuncak
Merged
0
updated
Jun 16, 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
Minor Helpers Improvements
lisa!153
· created
Apr 11, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Fix: Kernel Substitution Fresh ID Generation
lisa!152
· created
Mar 28, 2023
by
Sankalp Gambhir
Merged
0
updated
Apr 14, 2023
Prev
1
2
3
4
5
…
15
Next