Geeks
argumentcomputer
/
Ipld.lean
a Lean4 implementation of the IPLD format
Primary Language
Lean
MIT License
MIT
Ipld.lean GitHub
Markdown
Readme
2
Issues
8
Stargazers
6
Watchers
Stargazers
Anderssorby
Norway
xubaiw
Shanghai, China
johnchandlerburnham
Boston, MA
arthurpaulino
Brazil
nikitavoloboev
Madrid
SgtPooki
The Web
omasanori
Japan
agentofuser
UTC-4