@online{hott-in:agda,
  title        = {{Homotopy Type Theory in Agda}},
  author       = {
    Guillaume Brunerie and Kuen-Bang {Hou (Favonia)} and Evan Cavallo and
    others
  },
  url          = {https://github.com/HoTT/HoTT-Agda},
}

{"_id":"QSMsPjQnizQRdKx99","bibbaseid":"brunerie-houfavonia-cavallo-others-homotopytypetheoryinagda","author_short":["Brunerie, G.","Hou (Favonia), K.","Cavallo, E.","others"],"bibdata":{"bibtype":"online","type":"online","title":"Homotopy Type Theory in Agda","author":[{"firstnames":["Guillaume"],"propositions":[],"lastnames":["Brunerie"],"suffixes":[]},{"firstnames":["Kuen-Bang"],"propositions":[],"lastnames":["Hou (Favonia)"],"suffixes":[]},{"firstnames":["Evan"],"propositions":[],"lastnames":["Cavallo"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["others"],"suffixes":[]}],"url":"https://github.com/HoTT/HoTT-Agda","bibtex":"@online{hott-in:agda,\n title = {{Homotopy Type Theory in Agda}},\n author = {\n Guillaume Brunerie and Kuen-Bang {Hou (Favonia)} and Evan Cavallo and\n others\n },\n url = {https://github.com/HoTT/HoTT-Agda},\n}\n\n","author_short":["Brunerie, G.","Hou (Favonia), K.","Cavallo, E.","others"],"key":"hott-in:agda","id":"hott-in:agda","bibbaseid":"brunerie-houfavonia-cavallo-others-homotopytypetheoryinagda","role":"author","urls":{"Paper":"https://github.com/HoTT/HoTT-Agda"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"online","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["homotopy","type","theory","agda","brunerie","hou (favonia)","cavallo","others"],"title":"Homotopy Type Theory in Agda","year":null}