|
|
3b1c190543
|
master > master: codego - nnf für implies, iff
|
2021-05-15 00:05:42 +02:00 |
|
|
|
39be87d52f
|
master > master: codego - cleanup
|
2021-05-14 18:35:06 +02:00 |
|
|
|
73b7817dcd
|
master > master: codego - auslagern, erzeugungsmethode verbessert, SyntaxBaum -> Formula
|
2021-05-14 16:58:27 +02:00 |
|
