Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
veriT
Alethe
Issues
Open
13
Closed
14
All
27
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Make sure the Alethe consumers understand the additonall annotations (and ignore them)
#27
· created
Jun 25, 2022
by
Hans-Jörg
0
updated
Jun 25, 2022
Change TRUST rule to hole in Alethe checker and cvc5
1 of 2 tasks completed
#26
· created
Jun 24, 2022
by
Hans-Jörg
needs global updates
rules
0
updated
Jun 25, 2022
Fix "assumptions before steps" in subproof
1 of 2 tasks completed
#22
· created
Jun 20, 2022
by
Hans-Jörg
clarification
format
veriT
0
updated
Jun 22, 2022
Finish formal semantic
#18
· created
Jun 08, 2022
by
Hans-Jörg
format
0
updated
Jun 08, 2022
Extend `la_generic` checking in that strengthenings may be needed
#9
· created
Nov 29, 2021
by
Haniel Barbosa
rules
1
updated
Nov 30, 2021
Sorting of Contexts
4 of 5 tasks completed
#8
· created
Aug 19, 2021
by
Hans-Jörg
format
needs global updates
0
updated
Jun 20, 2022
Premises from outside of a subproof
#7
· created
Jul 16, 2021
by
Hans-Jörg
clarification
0
updated
Jul 16, 2021
Clarify rules restricted when generated from CVC4
#6
· created
Apr 15, 2021
by
Hans-Jörg
rules
1
updated
Apr 15, 2021
Check which rules can directly generate a clause
#5
· created
Apr 15, 2021
by
Hans-Jörg
rules
1
updated
Apr 15, 2021
Clarify when to unfold defined constants
#4
· created
Apr 15, 2021
by
Hans-Jörg
rules
0
updated
Apr 15, 2021
Remove `lia_generic`
#3
· created
Apr 15, 2021
by
Hans-Jörg
rules
veriT
2
updated
Apr 16, 2021
Fine grained instantiation proofs
#2
· created
Apr 15, 2021
by
Hans-Jörg
rules
0
updated
Apr 15, 2021
Clarify and restrict resolution rule
#1
· created
Apr 15, 2021
by
Hans-Jörg
rules
1
updated
Jul 16, 2021