HN
New
Show
Ask
Jobs
Built with Paraglide and Solid
en
pl
User: bugarela
Created:
1702039956
Karma:
31
Lead developer of Quint https://quint-lang.org/
submissions
|
comments