Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Soroosh Khodami discusses why we aren't ready ...

The University of Minnesota plans on closing the Vincent Hall math library by the summer of 2025, though the move is not welcomed by everyone. According to an announcement on Jan. 24 addressed to the ...

This chapter discusses some details of entity collections and technical considerations for the Digital Mathematics Library (DML). The lists discussed in this chapter are reasonable and obvious places ...

The Mathematics Statistics Library maintains and develops research-level collections and services to support the teaching, research, and learning needs of the Department of Mathematics, Department of ...

Aimed at providing teachers with educational materials by making them open and competitive, OpenCurriculum, which launched in Pittsburgh, curates and organizes material from sites such as teacher ...

INGRID DAUBECHIES, Co-Chair, is a professor of mathematics at Duke University. She completed her undergraduate studies in physics at the Vrije Universiteit Brussel in 1975. She obtained her Ph.D. in ...