ozki-toolkit

The OZKi Toolkit is the main component of the proof framework. The toolkit has two parts: the toolkit command line and the toolkit library package.