Comment by swat535

1 year ago

That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.

0 comments