GitHub repository: tlacasse/Theorem-Proving-Space
Primary language: Python
Created: 2019-10-18T03:13:34Z
Description: WIP - Generative Modeling of a Continuous Premise-Conjecture Space.