CatTheo

MaRDI QIDQ1350205swMATHFDO

Official website https://journals.tubitak.gov.tr/cgi/viewcontent.cgi?article=3178&context=math

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

Described by source

• Formal categorical reasoning

This page was built for software: CatTheo