/gf_wip_presentation

Presentation for KWARC group about my current research

Primary LanguageTeX

Watchers