Quint: Executable Specs for Reliable Systemsquint-lang.org4 points·0xcafefood··0 commentsOpen articleSaveView on HN