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
Small Fix for Unique Comprehension Description
lisa!168
· created
Jun 05, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Infix append in MapProofTest
lisa!167
· created
May 12, 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
Group Theory
lisa!151
· created
Mar 16, 2023
by
Dario Halilovic
Closed
0
updated
Jul 04, 2023
Types
lisa!166
· created
May 09, 2023
by
Viktor Kuncak
Closed
0
updated
Jul 04, 2023
Manual Update 03/2023
lisa!149
· created
Feb 28, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Cleanup: Simplification and Unification Utils
lisa!148
· created
Feb 28, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Corrections on proofs Mapping/SetTheory
lisa!125
· created
Jan 31, 2023
by
Alexandre Esteban Sallinen
Closed
0
updated
Jul 04, 2023
Added tests to Substitution functions
lisa!82
· created
Oct 24, 2022
by
Alexandre Esteban Sallinen
Closed
0
updated
Jul 04, 2023
Add natural language input
lisa!25
· created
Jun 17, 2022
by
Viktor Kuncak
Closed
0
updated
Jul 04, 2023
Transfinite Recursion (part 2)
lisa!156
· created
Apr 20, 2023
by
Sankalp Gambhir
Closed
0
updated
Jul 04, 2023
Change occurrences of Rewrite to Restate.from
lisa!138
· created
Feb 20, 2023
by
Sankalp Gambhir
Closed
0
updated
Apr 14, 2023
Substitution param inference Iff
lisa!137
· created
Feb 17, 2023
by
Sankalp Gambhir
Closed
0
updated
Apr 14, 2023
Proof checking at higher abstraction level
lisa!93
· created
Nov 01, 2022
by
Sankalp Gambhir
Closed
0
updated
Apr 14, 2023
Correction
lisa!111
· created
Dec 16, 2022
by
Viktor Kuncak
Closed
0
updated
Dec 16, 2022
When removing a formula from a sequent, remove all isSame formulas
lisa!30
· created
Jul 18, 2022
by
Viktor Kuncak
Closed
0
updated
Dec 06, 2022
Document and simplify synonyms support in parser
lisa!90
· created
Oct 31, 2022
by
Viktor Kuncak
Closed
0
updated
Nov 23, 2022
Support parsing infix functions AND infix predicates
lisa!92
· created
Nov 01, 2022
by
Viktor Kuncak
Closed
0
updated
Nov 23, 2022
Update the parser documentation
lisa!96
· created
Nov 04, 2022
by
Viktor Kuncak
Closed
0
updated
Nov 23, 2022
Scala 2.13
inox!189
· created
Nov 02, 2022
by
Viktor Kuncak
master
Closed
0
updated
Nov 02, 2022
Prev
1
2
3
Next