This repository contains a vast amount of Kind2 programs and proofs. Since the language doesn't have a package system yet, the best way to work on a Kind2 project is to clone this repository and create a directory here. Contributions and PRs are very welcome!