Install

Editor

In what follows, «editor» refers to your (new?) favorite editor, this being one of:

• Emacs
• Neovim
• VS Code

(You might need to install more than one of these.) More instructions will follow soon.

Zulip

You don’t need to install anything to use Zulip. Just use via your web browser.

Lean

Follow the official installation instructions.

Agda

More info soon.