Doing and publishing mathematics
Peter Cameron's Blog 2023-02-14
Summary:
Two things recently have made me think again about academic publishing, at least as it is in mathematics. There is some talk now about proof assistants such as Lean beginning to make a big impact on how we do our … Continue reading →