6 ms·We are starting to get there: https://viper.cs.columbia.edu/ https://viper.cs.columbia.edu/by dimtion 4y agoWe are starting to get there: https://viper.cs.columbia.edu/ https://viper.cs.columbia.edu/