Salgado Faila, R. A. Mu Lambda Epsilon Delta Calculus Proof of Concept [Computer software]. https://github.com/ronsaldo/mled-calculus