@misc{symmetrybook,
  title        = {{Symmetry}},
  author       = {Marc Bezem and Ulrik Buchholtz and Pierre Cagne and others},
  note         = {Commit: \texttt{870cb20}},
  date         = {2022-12-19},
  howpublished = {\url{https://github.com/UniMath/SymmetryBook}},
}

{"_id":"Ey77zsnaYvfrRZN5A","bibbaseid":"bezem-buchholtz-cagne-others-symmetry","author_short":["Bezem, M.","Buchholtz, U.","Cagne, P.","others"],"bibdata":{"bibtype":"misc","type":"misc","title":"Symmetry","author":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Bezem"],"suffixes":[]},{"firstnames":["Ulrik"],"propositions":[],"lastnames":["Buchholtz"],"suffixes":[]},{"firstnames":["Pierre"],"propositions":[],"lastnames":["Cagne"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["others"],"suffixes":[]}],"note":"Commit: \\texttt870cb20","date":"2022-12-19","howpublished":"˘rlhttps://github.com/UniMath/SymmetryBook","bibtex":"@misc{symmetrybook,\n title = {{Symmetry}},\n author = {Marc Bezem and Ulrik Buchholtz and Pierre Cagne and others},\n note = {Commit: \\texttt{870cb20}},\n date = {2022-12-19},\n howpublished = {\\url{https://github.com/UniMath/SymmetryBook}},\n}\n\n","author_short":["Bezem, M.","Buchholtz, U.","Cagne, P.","others"],"key":"symmetrybook","id":"symmetrybook","bibbaseid":"bezem-buchholtz-cagne-others-symmetry","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["symmetry","bezem","buchholtz","cagne","others"],"title":"Symmetry","year":null}