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