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