2157 add more sublogics for propositional#2160

Open

JoKurth wants to merge 19 commits intomasterfrom

2157_add_more_sublogics_for_propositional

Commits on Jun 11, 2024

added some new sublogics for propositional
JoKurth
committed

Commits on Jun 16, 2024

Commits on Jun 29, 2024

updated sl_form and exports; fixed a bug in checkHorn
JoKurth
committed

Commits on Jun 30, 2024

fixed some bugs that occured during testing
JoKurth
committed

Commits on Jul 6, 2024

Commits on Jul 10, 2024

Commits on Jul 16, 2024