Skip to content

Library for formalizing cryptography proofs in Lean 3 (Deprecated)

License

Notifications You must be signed in to change notification settings

dtumad/lean-crypto-formalization

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This library is deprecated in favor of a version compatible with Lean4. Please see the new repository here

Documentation and comments in this repository may be out of date with both the code here and with new versions of the library in Lean4.