3 ms·They’re using Electron to write proofs now?by symfoniq 23d agoThey’re using Electron to write proofs now?