alt Hacker NewsYeah, we need a lot more kinds compilers like LEAN. Give the accountants, physicists, chemists, biologists, and so on the tools where they can verify the results.
Yeah, we need a lot more kinds compilers like LEAN. Give the accountants, physicists, chemists, biologists, and so on the tools where they can verify the results.
if we were able to make a LEAN for hard science we would all be living to 200 by now