This article is about how to make 100% provable correct computer programs.
This is just what we need!
RE: A discussion and description of how Tauchain works by a non-expert
You are viewing a single comment's thread from:
A discussion and description of how Tauchain works by a non-expert