Open Issues Need Help
View All on GitHubAn agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics
An agda library for developing synthetic category theory - and other synthetic mathematics