GitHub repository: rbjones/DA-Hol
Created: 2016-11-08T12:42:07Z
Description: Decentralised Autonomous Higher Order Logic