Web of Proofs and IPFS

I thought some people on here might enjoy this. I was reading it thinking that it would go well with IPFS and boom, there it is on page 9.


and here’s a post outlining the project at Inria Towards an internet of proof? | Inria