Tog

MaRDI QIDQ53614swMATHFDO

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