Url Reputation
not configuredChecked: 2026-10-23T13:05:11.837734+00:00
Repository URL only. No binaries or source files were submitted.
VirusTotal credentials are not configured.
lean-cryptolib
A Lean library to reason about the functional correctness of cryptographic implementations.
What it is for
A Lean library to reason about the functional correctness of cryptographic implementations.
Usage guide
A reviewed usage guide has not been published. Consult the original documentation for setup and usage; commands are not generated or assumed.
Security checks & evidence
Checks cover the specific scope below. No result guarantees that a tool is safe to execute.
Static Readme
completedChecked: 2026-10-23T13:05:11.721047+00:00
README text at commit 45fbdc118e35d94b03264c193756bdcefb07abf6 only; source files and binaries were not scanned.
Patterns require review and do not establish malicious behavior.