egphilippov1/chains_formal_tools_now_sh_nextjs

Blockchains software incl. smart contracts formal verification tools & IDE frontend