GitHub repository: twohoursonelife/2HOL-Dictator
Primary language: Python
Created: 2019-12-24T04:36:29Z
Description: The Dictator of 2HOL