Revision #3442 → #3954 · back to history
addedEuclidean algorithmb27ddc8894ca
addedSieve of Eratosthenes774cf668e750
addedRecursive functions (Gödel–Herbrand–Kleene)80d65dd7b2aa
addedLambda calculusc3195a351b91
addedTuring machine7c201faf53bc
addedSimplex algorithmfe7a5d30a45e