top | item 47016569 First Proof 1 points| cod1r | 15 days ago |1stproof.org 1 comment order hn newest elliancarlos|15 days ago I was expecting a use of the lean programming language, but nonetheless this work is very interesting.
elliancarlos|15 days ago I was expecting a use of the lean programming language, but nonetheless this work is very interesting.
elliancarlos|15 days ago