Best Way to Get Help Combinatory Reduction Systems Extended says the best way to get help with its software is by visiting https://sourceforge.net/p/crsx/wiki.
