A language based on homotopy type theory with an interval
Why do you think that https://github.com/giorgidze/igraph is a good alternative to hoq
A language based on homotopy type theory with an interval
Why do you think that https://github.com/giorgidze/igraph is a good alternative to hoq