Skip to content
/ yves Public

🧊 Мінімальна внутрішння мова симетричних моноїдальних категорій

Notifications You must be signed in to change notification settings

groupoid/yves

About

🧊 Мінімальна внутрішння мова симетричних моноїдальних категорій

Stars

Watchers

Forks

Languages