Our formal methods tool can be a company – because of AIquint.sh8 points·bugarela··0 commentsOpen articleSaveView on HN