No results found

Stlc_deBruijn

Simply Typed Lambda Calculus with de Bruijn indices
Sort by
  1. Git dependency.
    Not found on Reservoir.

    proofwidgetsc43db94

  2. Git dependency.
    Found on Reservoir.

    mathlib7440885

    The math library of Lean 4
  3. Git dependency.
    Not found on Reservoir.

    Qqc71f94e

  4. Git dependency.
    Not found on Reservoir.

    aesopca73109

  5. Git dependency.
    Not found on Reservoir.

    stdd5471b8