shulman-2024-strange:
  type: article
  title: 'Strange new universes: Proof assistants and synthetic foundations'
  author: Shulman, Michael
  date: 2024-02
  page-range: 257-270
  url: http://dx.doi.org/10.1090/bull/1830
  serial-number:
    doi: 10.1090/bull/1830
    issn: 0273-0979
  parent:
    type: periodical
    title: Bulletin of the American Mathematical Society
    publisher: American Mathematical Society (AMS)
    issue: 2
    volume: 61