H
HoTT
Projects in Homotopy Type Theory at UiB.
Starting with the next upgrade, git.app.uib.no will require TLSv1.2 or above for incomming and outgoing connections.
If you have configured integrations like webooks or authorized-applications for your projects, please check that they are still working after 20.02.2025
Projects in Homotopy Type Theory at UiB.