5 ms·First Proof1 points by cod1r 7mo agoelliancarlos 7mo agoI was expecting a use of the lean programming language, but nonetheless this work is very interesting.