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}}
Updated date
Improve kernel parser exceptions
!103
· created
Nov 26, 2022
by
Viktor Kuncak
Merged
updated
Nov 27, 2022
Support infix functions and predicates with user-defined priorities
!102
· created
Nov 23, 2022
by
Viktor Kuncak
Merged
updated
Nov 23, 2022
Support parsing and printing schematic connectors
!97
· created
Nov 04, 2022
by
Viktor Kuncak
Merged
updated
Nov 16, 2022
Lab03
!95
· created
Nov 03, 2022
by
Viktor Kuncak
Lab03
Merged
updated
Nov 06, 2022
Improve the error message when a theorem statement does not match the proved one
!94
· created
Nov 01, 2022
by
Viktor Kuncak
Merged
updated
Nov 01, 2022
Support equivalent names of predicates
!88
· created
Oct 28, 2022
by
Viktor Kuncak
Merged
updated
Oct 31, 2022
Exercises for FV
!89
· created
Oct 28, 2022
by
Viktor Kuncak
Merged
updated
Oct 28, 2022
Support arbitrary infix predicates
!87
· created
Oct 27, 2022
by
Viktor Kuncak
Merged
updated
Oct 27, 2022
Front integration and various changes
!55
· created
Oct 04, 2022
by
Viktor Kuncak
Merged
updated
Oct 24, 2022
New tactic system
!73
· created
Oct 21, 2022
by
Viktor Kuncak
Merged
updated
Oct 24, 2022
Simple deduced steps
!71
· created
Oct 12, 2022
by
Sankalp Gambhir
easy-tactics
Merged
updated
Oct 18, 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
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
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
Change the symbol that precedes a schematic predicate / function from ? to '
!56
· created
Oct 05, 2022
by
Viktor Kuncak
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
Easy tactics
!58
· created
Oct 05, 2022
by
Viktor Kuncak
easy-tactics
Merged
updated
Oct 05, 2022
Change Iff.id to match Implies.id
!51
· created
Oct 03, 2022
by
Viktor Kuncak
Merged
updated
Oct 05, 2022
Prev
1
2
3
4
5
6
Next
