Comment by peesem

is this just a total guess? the repository says it's forked from KhiCAS, which is a ti84 port of Giac/Xcas, which can do full Risch integration if necessary

https://github.com/KhiCAS/ti-ce-giac/blob/main/kintg.cc#L288...