Symmetry. Bezem, M., Buchholtz, U., Cagne, P., & others ˘rlhttps://github.com/UniMath/SymmetryBook. Commit: \texttt870cb20
bibtex   
@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