This library aims to provide formalized mathematics useful for formally verifying cryptography implementations.
This project is still fairly preliminary and not actively maintained, use at your own risk.
-
Notifications
You must be signed in to change notification settings - Fork 0
A Lean library to reason about the functional correctness of cryptographic implementations.
License
ANSSI-FR/lean-cryptolib
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Lean library to reason about the functional correctness of cryptographic implementations.