GitHub repository: uclmr/ntp
Primary language: NewLisp
Created: 2018-02-02T09:23:49Z
Description: End-to-End Differentiable Proving