UniMath/agda-unimath Issues
Postulating colimits
Updated 2Clean up git history
Closed 10Create `logic` namespace
UpdatedRename `UU` to `Type`
UpdatedBibliography
Closed 1Level universe
Updated 1Retracts of sequential diagrams
Closed 1Autoformatting for Python files
Updated 3Add a favicon
Closed 7