Port Semantic Navigation service to MMT

KWARC / Sally

Semantic Ally

2 stars 4 forks source link

Open jukowski opened 11 years ago

jukowski commented 11 years ago

Current Semantic Navigation service uses TNTBase to get dependencies. We should use MMT instead.

kohlhase commented 11 years ago

And the service should run on the new pull architecture and the new ASM, ...

Alex, feel free to ask questions here.