First time here? Check out the FAQ!
asked 2020-07-30 17:39:02 +0100
Is there an implementation of lambda-calculus with sagemath (or python)?
thanks in advance