@misc{UniMath,
  title        = {{UniMath --- a computer-checked library of univalent mathematics}},
  author       = {Voevodsky, Vladimir and Ahrens, Benedikt and Grayson, Daniel and others},
  url          = {https://github.com/UniMath/UniMath},
  howpublished = {{available at \url{https://unimath.org}}},
}

{"_id":"AkyNtaZby9EHDvd6T","bibbaseid":"voevodsky-ahrens-grayson-others-unimathacomputercheckedlibraryofunivalentmathematics","author_short":["Voevodsky, V.","Ahrens, B.","Grayson, D.","others"],"bibdata":{"bibtype":"misc","type":"misc","title":"UniMath — a computer-checked library of univalent mathematics","author":[{"propositions":[],"lastnames":["Voevodsky"],"firstnames":["Vladimir"],"suffixes":[]},{"propositions":[],"lastnames":["Ahrens"],"firstnames":["Benedikt"],"suffixes":[]},{"propositions":[],"lastnames":["Grayson"],"firstnames":["Daniel"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["others"],"suffixes":[]}],"url":"https://github.com/UniMath/UniMath","howpublished":"available at ˘rlhttps://unimath.org","bibtex":"@misc{UniMath,\n title = {{UniMath --- a computer-checked library of univalent mathematics}},\n author = {Voevodsky, Vladimir and Ahrens, Benedikt and Grayson, Daniel and others},\n url = {https://github.com/UniMath/UniMath},\n howpublished = {{available at \\url{https://unimath.org}}},\n}\n\n","author_short":["Voevodsky, V.","Ahrens, B.","Grayson, D.","others"],"key":"UniMath","id":"UniMath","bibbaseid":"voevodsky-ahrens-grayson-others-unimathacomputercheckedlibraryofunivalentmathematics","role":"author","urls":{"Paper":"https://github.com/UniMath/UniMath"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["YCBcQPneB9oxahSnp","CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["unimath","computer","checked","library","univalent","mathematics","voevodsky","ahrens","grayson","others"],"title":"UniMath — a computer-checked library of univalent mathematics","year":null}