CatTheo

swMATH43914MaRDI QIDQ1350205FDOQ1350205

Author name not available (Why is that?)

Source code repository: https://github.com/ekiciburak/CatTheo

Described by source

• Formal categorical reasoning

This page was built for software: CatTheo