PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
6
Foundations
Foundations
https://github.com/UniMath/UniMath/tree/master/UniMath/Foundations
Homotopy type theory
Univalent foundations
Link from a Wikipage to an external page
Foundations
https://github.com/UniMath/UniMath/tree/master/UniMath/Foundations