@article{shulman-2024-strange, title={Strange new universes: Proof assistants and synthetic foundations}, volume={61}, ISSN={0273-0979}, url={http://dx.doi.org/10.1090/bull/1830}, DOI={10.1090/bull/1830}, number={2}, journal={Bulletin of the American Mathematical Society}, publisher={American Mathematical Society (AMS)}, author={Shulman, Michael}, year={2024}, month=Feb, pages={257–270} }