Skim

<language> A Scheme implementation with packages and other enhancements, by Alain Deutsch et al, France.

(2000-11-02)

Try this search on Wikipedia, OneLook, Google

Nearby terms: Sketchpad « S/Key « Skill « Skim » SkipJack » SKOL » skolemisation