Originally Posted by Pi22
I am assuming the implementation of that plan would take many months longer.
EPGY-like software by Suppes and collaborators was being used in the 1960s. In a 1966 paper "The uses of computers in education" there is a picture of a student using the software on a terminal http://suppes-corpus.stanford.edu/article.html?id=67 . The set theory problem on the screen looks like ones my children have done. So EPGY may evolve slowly smile.