Lean Ipld A Lean4 implementation of the IPLD format. Run tests First build LSpec: $ lake build LSpec Now run it with $ ./lean_packages/LSpec/build/bin/lspec