Devs Discuss Formal Specification Project for Bitcoin Cash – Technology Bitcoin News