logoalt Hacker News

symfoniq • today at 1:34 AM • 0 replies • view on HN

They’re using Electron to write proofs now?