Doing a math assignment with the Lean theorem prover

Comments

from Hacker News https://ift.tt/2X7uJR0
via

Comments

Popular posts from this blog