Category Theory
Zulip Server
Archive

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.

Stream: practice: software

Topic: "Build your own Stacks Project in 10 minutes" - Forester

view this post on Zulip Patrick Nicodemus (Jan 06 2024 at 17:50):

https://www.jonmsterling.com/jms-0052.xml
Jon Sterling has created a piece of scientific authoring software called Forester. I invite you to check it out.

view this post on Zulip Julius Hamilton (Apr 12 2024 at 02:39):

That looks extremely good. Would be so cool to integrate something like that with chat functionalities like Zulip.