GitHub repository: yatima-inc/lean-ipld
Primary language: Lean
Created: 2021-11-10T15:42:11Z
Description: a Lean4 implementation of the IPLD format