cryptolib

This library aims to provide formalized mathematics useful for formally verifying cryptography implementations.

Disclaimer

This project is still fairly preliminary and not actively maintained, use at your own risk.