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
Quickfix
lisa!83
· created
Oct 24, 2022
by
Viktor Kuncak
Merged
0
updated
Dec 02, 2022
New tactic system
lisa!73
· created
Oct 21, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 24, 2022
Proof transformations
lisa!66
· created
Oct 07, 2022
by
Alexandre Esteban Sallinen
Merged
0
updated
Oct 12, 2022
Removed unneeded file.
lisa!63
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
0
updated
Oct 05, 2022
Easy tactics
lisa!62
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
0
updated
Oct 05, 2022
When constructing a theorem, parse the provided statement and compare it to the proof conclusion
lisa!59
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 16, 2022
Print and/or connector formulas with 1 argument
lisa!65
· created
Oct 06, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 11, 2022
Simple deduced steps
lisa!71
· created
Oct 12, 2022
by
Sankalp Gambhir
easy-tactics
Merged
0
updated
Oct 18, 2022
Small tactics
lisa!72
· created
Oct 21, 2022
by
Sankalp Gambhir
easy-tactics
Merged
0
updated
Apr 14, 2023
Easy-tactics API for Forall Instantiation
lisa!68
· created
Oct 11, 2022
by
Sankalp Gambhir
easy-tactics
Merged
0
updated
Apr 14, 2023
Uniformize premise input usage
lisa!67
· created
Oct 11, 2022
by
Sankalp Gambhir
easy-tactics
Merged
0
updated
Apr 14, 2023
Type fix following ProofStepJudgement for InstantiateForall
lisa!70
· created
Oct 12, 2022
by
Sankalp Gambhir
easy-tactics
Merged
0
updated
Apr 14, 2023
Easy tactics
lisa!58
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
0
updated
Oct 05, 2022
Change the string representation of ∈ to 'elem', of ordered pair to 'pair'
lisa!57
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 05, 2022
Change the symbol that precedes a schematic predicate / function from ? to '
lisa!56
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 05, 2022
Front integration and various changes
lisa!55
· created
Oct 04, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 24, 2022
Front integration
lisa!54
· created
Oct 04, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Dec 02, 2022
Front integration
lisa!53
· created
Oct 03, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Dec 02, 2022
Front integration
lisa!52
· created
Oct 03, 2022
by
Viktor Kuncak
front-integration
Merged
0
updated
Oct 03, 2022
Change Iff.id to match Implies.id
lisa!51
· created
Oct 03, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 05, 2022
Prev
1
2
3
4
5
6
7
8
…
12
Next