- Nov 17, 2023
-
-
Edward Sabinus authored
-
Edward Sabinus authored
adopted Create_And_Test_Parsers.bat to new project name; Added alternative Tree form: like functions in Haskell; works currently with classic trees; TODO: implement function trees BUG: need seperator between each function tree (like end of lemma or inductioncase)
-
Edward Sabinus authored
-
Edward Sabinus authored
rename project from BaumtransformationBewerter to BewerterStrukturellerInduktion; switch to .Net 6.0 from .Net 3.1
-
- Nov 16, 2023
-
- Nov 10, 2023
-
-
Edward Sabinus authored
-