←Backjklmnn/continuous-verification0Copy as MarkdownView on GitHub↗8 stars·0 forks·Ada·GPL-3.0·1 viewContinuous VerificationThis repository aims to show an example how to automatically prove Ada/SPARK software with Travis CI. The current process consists of downloading and installing the GPL versions of GNAT and SPARK and then build and prove the project. Features