TGView

MaRDI QIDQ39135swMATHFDO

Official website https://kwarc.info/people/mkohlhase/papers/mathui17-tgview.pdf

Source code repository https://github.com/UniFormal/TGView

Cited in

(1)

• Automatically finding theory morphisms for knowledge management

This page was built for software: TGView