If they do for material sciences what they did for math proofs, the world is going to get weirder!
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.
alt Hacker News
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.