README.md

See cfricas/ for the C interface to FriCAS, check/ for the main checker source code and the check results, and fricas/ for the FriCAS (Spad/Scratchpad) code.