GenAutomata Sections NuprlLIB Doc

Def GCD(a;b;y) == (y | a) & (y | b) & (z:. (z | a) & (z | b) (z | y))

is mentioned

In prior sections: num thy 1


GenAutomata Sections NuprlLIB Doc