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