GitHub repository: AndreiGolovatskii/formal
Primary language: Python
Created: 2020-09-28T17:53:22Z
Description: formal