Constellation Network By Tyson Wynne on Feb 8, 2021 Constellation Network Constellation network has created a framework for formal verification using type theory.