First Proof (opens in new tab)

(1stproof.org)

1 pointscod1r4mo ago1 comments

1 comments

1 comments · 1 top-level

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