First Proof (opens in new tab)

(1stproof.org)

1 pointscod1r1mo ago1 comments

1 comments

I was expecting a use of the lean programming language, but nonetheless this work is very interesting.

j / k navigate · click thread line to collapse

(1stproof.org)

1 pointscod1r1mo ago1 comments

I was expecting a use of the lean programming language, but nonetheless this work is very interesting.

j / k navigate · click thread line to collapse