3 ms·GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculus3 points by neurallambda 3y ago