Web app to catalog theorems