No results found

plfl

Learn Lean 4 with PLFA proofs.
#plfa #programming-language-foundations #software-foundations
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibafdc772

    The math library of Lean 4