GitHub repository: mjukiewicz/Luna
Primary language: Python
Created: 2019-01-04T11:11:07Z
Description: Distributive Deductive Systems project