doc-isac/README
author Walther Neuper <walther.neuper@jku.at>
Wed, 11 Mar 2020 15:25:52 +0100
changeset 59827 168abe8dd1e3
permissions -rw-r--r--
start formally checked documentation with Lucas_Interpreter

note: the text is a partial copy from the IJCAR/ThEdu'20 paper
walther@59827
     1
~~/doc-isac/README
walther@59827
     2
walther@59827
     3
Much documentation is still in theses are found at
walther@59827
     4
https://isac.miraheze.org/wiki/Publications_and_Theses#Refereed_Papers
walther@59827
     5
walther@59827
     6
In March 2020 formally checked documentation started in
walther@59827
     7
~~/src/Tools/isac/Doc