UniMath agda-unimath Q A · Discussions · GitHub

Full Width Links In Sidebar
General fweth

Sort by: Latest activity

Q&A Discussions

Ask the community for help

You must be logged in to vote

Naming higher order associators and inverse laws

fredrik-bakke asked Mar 30, 2024 in Q&A · Unanswered

0