Reaction
Could Leo be the first proof assistant developer invited to the White House?
A user celebrated the prospect as their community “moving up in life” and said it made them tear up.
TLDR
In an October 8 post, a user wondered whether Leo might be the first proof assistant developer invited to the White House. They welcomed the possibility as a meaningful moment for their community.
Combined views
1.1K
2 Sources, first seen ago