glossary for a course.
I think we can extend the glossary/dictionary generation from all of SMGloM to courses. I think we have all the moving parts already.
- From the course graph we have recursively reading all theories of a course.
- once that set of theories is established we can make a glossary/dictionary.
I would like to use this for (at least) IWGS: https://gl.mathub.info/MiKoMH/IWGS