Skip to content
GitLab
Explore
Sign in
Open
0
Merged
111
Closed
27
All
138
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
Simple deduced steps
!71
· created
Oct 12, 2022
by
Sankalp Gambhir
easy-tactics
Merged
updated
Oct 18, 2022
Type fix following ProofStepJudgement for InstantiateForall
!70
· created
Oct 12, 2022
by
Sankalp Gambhir
easy-tactics
Merged
updated
Apr 14, 2023
Easy-tactics API for Forall Instantiation
!68
· created
Oct 11, 2022
by
Sankalp Gambhir
easy-tactics
Merged
updated
Apr 14, 2023
Uniformize premise input usage
!67
· created
Oct 11, 2022
by
Sankalp Gambhir
easy-tactics
Merged
updated
Apr 14, 2023
Proof transformations
!66
· created
Oct 07, 2022
by
Alexandre Esteban Sallinen
Merged
updated
Oct 12, 2022
Print and/or connector formulas with 1 argument
!65
· created
Oct 06, 2022
by
Viktor Kuncak
Merged
updated
Oct 11, 2022
Easy tactics and proof system.
!64
· created
Oct 05, 2022
by
Viktor Kuncak
Closed
updated
Oct 21, 2022
Removed unneeded file.
!63
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
updated
Oct 05, 2022
Easy tactics
!62
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
updated
Oct 05, 2022
Easy tactics
!61
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Closed
updated
Oct 05, 2022
When constructing a theorem, parse the provided statement and compare it to the proof conclusion
!59
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
updated
Oct 16, 2022
Easy tactics
!58
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
updated
Oct 05, 2022
Change the string representation of ∈ to 'elem', of ordered pair to 'pair'
!57
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
updated
Oct 05, 2022
Change the symbol that precedes a schematic predicate / function from ? to '
!56
· created
Oct 05, 2022
by
Viktor Kuncak
Merged
updated
Oct 05, 2022
Front integration and various changes
!55
· created
Oct 04, 2022
by
Viktor Kuncak
Merged
updated
Oct 24, 2022
Front integration
!54
· created
Oct 04, 2022
by
Viktor Kuncak
front-integration
Merged
updated
Dec 02, 2022
Front integration
!53
· created
Oct 03, 2022
by
Viktor Kuncak
front-integration
Merged
updated
Dec 02, 2022
Front integration
!52
· created
Oct 03, 2022
by
Viktor Kuncak
front-integration
Merged
updated
Oct 03, 2022
Change Iff.id to match Implies.id
!51
· created
Oct 03, 2022
by
Viktor Kuncak
Merged
updated
Oct 05, 2022
Introduce True and False constants
!50
· created
Oct 03, 2022
by
Viktor Kuncak
Merged
updated
Oct 03, 2022
Prev
1
2
3
4
5
6
7
Next
