[opentheory-users] wishlist for the opentheory tool
Ramana Kumar
ramana.kumar at gmail.com
Thu Jan 13 23:08:36 UTC 2011
Let me know if any of these are in the works or in fact already present.
Also, if there are good reasons to avoid them.
List/search available repos (Is a repo identified by a URL?)
Search for packages by name
Search for packages by term matching on the conclusions of theorems it exports
Option to print types in info --summary
Option to print arities of type operators in info --summary
Machine readable version of info --summary output
Option to disable "Show:" tags in info --summary
Article file optimization. (Given an article file, write a new one
that has the same imports and exports but uses fewer virtual machine
instructions; optionally the instructions could be weighted by
"difficulty".)
Somewhere to store a list like this of desired features (and issues
etc.) that can be publicly viewed and edited, i.e. bug tracker.
More information about the opentheory-users
mailing list