search

MathHubInfo / mhd

The implementation of MathDataHub powered by Django + React.
https://data.mathhub.info
GNU General Public License v3.0
1 stars 1 forks source link

Automated deductive databases #40

Open tkw1536 opened 4 years ago

tkw1536 commented 4 years ago

E.g. every Item in Collection A automatically is in Collection B