applications of viewfinding
@dmueller has recently implemented a viewfinder, i.e. a function that finds MMT views (and partial ones as well) in an OMDoc/MMT library or between more than one. This paper describes the specifics and lists a bunch of applications in the back. The project is to implement one or more of these applications in MathHub. The necessary steps are
- fully understand viewfinding and the intended application
- build an extended example and produce the mathematical resources
- specify the context of use and the user interactdions
- build a front-end that supports these.