Formal verification and the top 10 crypto-tokens

This page has moved to here (a part of my larger zettelkasten).