Symmetry. Bezem, M., Buchholtz, U., Cagne, P., & others ˘rlhttps://github.com/UniMath/SymmetryBook. Commit: \texttt870cb20bibtex @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}},
}
Downloads: 0
{"_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}