URL details: openbastille.org/research/iterative/
URL title:
Multisets and sets in homotopy type theory
URL paragraphs:
Håkon Robbestad Gylterud So far the project has focussed on: Some of the theorems of the above articles have been formalised in Agda : Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of thi
URL last crawled:
2023-01-07
URL speed:
0.072 MB/s,
downloaded in 0.040 seconds
We found no external links pointing to this url.