Doing a math assignment with the Lean theorem prover
New top story on Hacker News: Doing a math assignment with the Lean theorem prover
- Raja Abu Bakar
- To live good life, You need to be up to date with time And for that you must have an eye on the world.
New York Times
Toyota will spend $1.3 billion on a N.C. electric car battery plant.
By BY NEAL E. BOUDETTE from NYT Business https://ift.tt/31Bqrp4
0 Comments