1. Top
  2. 6.5610-project
  3. Files
  4. DependentMain.lean
6.5610-project

Cryptography final project

  1. 1
  2. 2 
import Dependent
def main (args : List String) : IO Unit := depMain args