You are not logged in
Bluesky Profile
@
Quint
@quint-lang.org
Registered: 6 Mar 2026 15:39
Last post:3 days ago
Last like received:2 days ago
Executable specs for reliable systems. Understand what you're building, drive AI with precision, and verify its output. https://quint-lang.org/
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @quint-lang.org
quint-lang.bsky.social
PDS: stropharia.us-west.host.bsky.network
2026-03-06 15:39:39
quint-lang.org
2026-03-06 16:37:17