Hacker News new | ask | show | jobs
by world2vec 46 days ago
From what I've seen on Tao's YouTube channel, he does use GitHub Copilot via VSCode to write Lean4 code.