Issues · veriT / Alethe

New issue

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