Wikind

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!