You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Paige North (Mar 18 2024 at 09:29):Johan Commelin, Jim Portegies, and I (Paige North) are looking for a PhD student to work on the development of proof assistants for education such as Waterproof [1] (see [2] for a project description). The position will be based at the University of Utrecht (though it will also include collaboration with the Technical University of Eindhoven) and will start in Fall 2024. We will consider applications until the position has been filled, so please contact one of us soon if you are interested. You can reach me at p.r.north@uu.nl.
[1] https://impermeable.github.io
[2] https://paigenorth.github.io/tue-uu-project.pdf
Mike Shulman (Mar 18 2024 at 15:11):Waterproof looks interesting, I haven't seen it before. Is there any documentation on how to use it?
Paige North (Mar 18 2024 at 17:45):There's not a lot of documentation yet, but this paper explains a bit: https://arxiv.org/abs/2211.13513