[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