Displaying 1-7 of 7 dependencies of coq_lean_translation
Sort by
  1. std
    0d0ac1c

  2. Qq
    1c88406

  3. aesop
    24a4e8f

  4. proofwidgets
    8dd1835

  5. Cli
    a751d21

  6. importGraph
    7d051a5

  7. mathlib
    68c771a