@hackage / ivor

Theorem proving library based on dependent type theory

Version Deprecated package0.1.14.1

Changelog

This release does not have a Changelog