The guy was saying nothing, people have done computer work in fusion and they will use computers again! Profound. He was merely giving a shameless plug of whatever infra project he was involved in. Congrats - it…
Worth mentioning that many of the people on this project including Tom Hales jumped ship to Lean seeing as Mathematica needs an overhaul to accomodate a proof assistant. Lean is the current project that is attracting…
The guy was saying nothing, people have done computer work in fusion and they will use computers again! Profound. He was merely giving a shameless plug of whatever infra project he was involved in. Congrats - it…
Worth mentioning that many of the people on this project including Tom Hales jumped ship to Lean seeing as Mathematica needs an overhaul to accomodate a proof assistant. Lean is the current project that is attracting…