undefined | Better HN

0 pointssebzim45001y ago0 comments

If the tools are the same as the ones AlphaProof gets (i.e. a lean compiler) then no one would use them.

0 comments

Well, hopefully that changes soon :)

j / k navigate · click thread line to collapse

Well, hopefully that changes soon :)

j / k navigate · click thread line to collapse