Create a sally_mmt project inside sally that connects to an MMT server and provides utility functions that allows one to:
1) get a list of theories and concepts inside them.
2) get a list of all concepts that any theory that:
2a) begin with a certain prefix
2b) contain a certain substring
3) get a list of all concepts that are available in the scope of a certain theory that
3a) begin with a certain prefix
3b) contain a certain substring
would be nice 2 and 3 could be somehow combined in a nice way.
jukowski
commented
10 years ago
Create a sally_mmt project inside sally that connects to an MMT server and provides utility functions that allows one to: 1) get a list of theories and concepts inside them.
2) get a list of all concepts that any theory that: 2a) begin with a certain prefix 2b) contain a certain substring 3) get a list of all concepts that are available in the scope of a certain theory that 3a) begin with a certain prefix 3b) contain a certain substring
would be nice 2 and 3 could be somehow combined in a nice way.