i'm formalizing React in Lean (???)

By dan

i'm formalizing React in Lean (???)

View original

HomeResourceLoading…