No results found

plfl

Learn Lean 4 with PLFA proofs.
#plfa #programming-language-foundations #software-foundations
Displaying 1-7 of 7 dependencies of plfl
Sort by

  1. std
    f58165d

  2. Qq
    64365c6

  3. aesop
    5fefb40

  4. proofwidgets
    fb65c47

  5. Cli
    be8fa79

  6. importGraph
    61a7918

  7. mathlib
    afdc772