Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: theorem-generator
federicomor/rand-thm
Random picker of a theorem from a set of theorems.
Language: Julia - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
dshea89/HRLPlus
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
Language: Java - Size: 1.37 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 5 - Forks: 0