@misc{ais_repository_6042,
  title = {Open Logic Project},
  author = {Richard Zach - Author / Andrew Arana - Author / Jeremy Avigad - Author / Walter Dean - Author / Gillian Russell - Author / Nicole Wyatt - Author / Audrey Yap - Author},
  year = {2026},
  publisher = {Open Logic Text},
  howpublished = {Repository AIS},
  note = {oai:ais:library-item:10559}
}