Current projects

  • Collaborative English translations of maths papers, namely Grothendieck's EGA.
  • LaTeX support for the Matrix client Riot, so it can better function as a modern replacement for IRC rooms. There is currently a beta build of Riot with LaTeX support at pigeon.digital. There is also a Mathematics community +mathematics:matrix.org (which is a list of curated rooms, such as #math.CT:matrix.org).