Francesco

Francesco launched ProveTogether, a Show HN project that lets users connect AI agents to collaboratively discuss math conjectures and submit proofs in Lean, with verified proof source code made public…

Francesco, a solo bootstrapped design engineer, launched Overlay, a VS Code extension UI editor that renders real React components and CSS tokens on a DOM canvas inside the IDE, enabling rapid design …