A Scheme implementation with packages and other
enhancements, by Alain Deutsch et al, France.
Last updated: 2000-11-02
Sketchpad ♦ S/Key ♦ Skill ♦ Skim ♦ SkipJack ♦ SKOL ♦ skolemisation ♦ S-K reduction machine
Try this search on
Updated: Tue, 18 Sep 2018 07:41:57 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985