argumentcomputerIpld.lean

a Lean4 implementation of the IPLD format
Sort by
  1. Git dependency.
    Not found on Reservoir.

    YatimaStdLib649368d

  2. Git dependency.
    Not found on Reservoir.

    LSpec88f7d23

  3. Git dependency.
    Not found on Reservoir.

    stdfde95b1