First Proof 1stproof.org 1 points by cod1r a month ago · 1 comment Reader PiP Save elliancarlos a month ago I was expecting a use of the lean programming language, but nonetheless this work is very interesting.