Feature Requests

• Search for packages by name.
• Search for packages by term matching on theorem conclusions.
• Machine readable version of opentheory info --summary.
• Flag to ignore show tags in opentheory info.
• Flag to print type/arity information in opentheory info --summary.
• Automatically discover public OpenTheory repos.