Tag: formal code

Sia network (SC) releases formal code for upcoming hard fork