A repo for experiments and deprecated (but potentially useful) code from Informath (https://github.com/GrammaticalFramework/informath) For original history, see the Informath repo.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A repo for experiments and deprecated (but potentially useful) code from Informath (https://github.com/GrammaticalFramework/informath) For original history, see the Informath repo.