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
Allow adding only constant (no schematic) symbols to a running theory
!14
· created
Jun 08, 2022
by
Viktor Kuncak
Merged
updated
Jun 11, 2022
Run scalafmt and scalafix on src/main and src/test
!17
· created
Jun 10, 2022
by
Viktor Kuncak
Merged
updated
Jun 11, 2022
Update .gitignore for more build tools and IDEs
!16
· created
Jun 10, 2022
by
Viktor Kuncak
Merged
updated
Jun 11, 2022
Scalafix, Scalafmt, github CI and bug fix in the equivalent checker
!15
· created
Jun 09, 2022
by
Viktor Kuncak
Merged
updated
Jun 09, 2022
New substitution mechanism
!8
· created
Apr 24, 2022
by
Viktor Kuncak
Merged
updated
Jun 03, 2022
Correction of small error regarding function and predicate definition. Fix to missing case in printer match.
!11
· created
May 15, 2022
by
Viktor Kuncak
Merged
updated
May 15, 2022
Multiple changes to the running theories
!7
· created
Apr 15, 2022
by
Viktor Kuncak
Merged
updated
Apr 15, 2022
Various corrections, new set theory development as better examples.
!6
· created
Mar 25, 2022
by
Viktor Kuncak
Merged
updated
Mar 25, 2022
Proof judgement ADT, sugars and printer
!3
· created
Feb 21, 2022
by
Viktor Kuncak
Merged
updated
Mar 14, 2022
New proof steps for instantiation, manual updated
!2
· created
Feb 16, 2022
by
Viktor Kuncak
Merged
updated
Feb 16, 2022
Update printer
!1
· created
Feb 16, 2022
by
Viktor Kuncak
Merged
updated
Feb 16, 2022
Prev
1
2
3
4
5
6
Next