GitHub / tensorflow / deepmath
Experiments towards neural network theorem proving
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tensorflow%2Fdeepmath
PURL: pkg:github/tensorflow/deepmath
Stars: 789
Forks: 138
Open issues: 5
License: apache-2.0
Language: C++
Size: 3.32 MB
Dependencies parsed at: Pending
Created at: over 8 years ago
Updated at: about 1 month ago
Pushed at: over 4 years ago
Last synced at: 3 days ago
Loading...