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
Code reorganization and helpers
!22
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
updated
Jun 13, 2022
Reorganization and helpers
!21
· created
Jun 13, 2022
by
Viktor Kuncak
Closed
updated
Jun 13, 2022
Proposal: re-organization into separate modules
!20
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
updated
Jun 23, 2022
Various improvements and refactoring
!19
· created
Jun 11, 2022
by
Viktor Kuncak
Merged
updated
Jun 13, 2022
Fix CI
!18
· created
Jun 11, 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
Allow adding only constant (no schematic) symbols to a running theory
!14
· created
Jun 08, 2022
by
Viktor Kuncak
Merged
updated
Jun 11, 2022
Add the ACE-TPTP support
!13
· created
Jun 01, 2022
by
Viktor Kuncak
Closed
updated
Jun 17, 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
New substitution mechanism
!8
· created
Apr 24, 2022
by
Viktor Kuncak
Merged
updated
Jun 03, 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
Enable GitHub Actions and include scalafmt
!4
· created
Feb 21, 2022
by
Viktor Kuncak
Closed
updated
Jun 09, 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
…
3
4
5
6
7
Next