Tog

swMATH37913MaRDI QIDQ53614FDOQ53614

Author name not available (Why is that?)

Official website: https://github.com/bitonic/tog

Source code repository: https://github.com/bitonic/tog

Cited In (3)

• Leveraging the information contained in theory presentations
• lens
• MathScheme

This page was built for software: Tog