zjiekai

Are there plans to add support for UDP?

1

I can choose UDP in the webUI. But it seems that the backend does not have the support yet.

I'm wondering if this [post about kasais algorithm](https://t3nsor.wordpress.com/2010/10/13/kasais-algorithm/) is still available.

I'm at `b5cca6d212aa8920bc93c81ac18d213f8348d06f`. I run `$ flutter -v pub run build_runner build`. It seems stuck. ``` [INFO] 2m 6s elapsed, 1/15 actions completed. [INFO] 2m 7s elapsed, 1/15 actions completed....

I hope this paragraph about `leanpkg` and `leanproject` can be made easier to find

5

> All this means you need a Lean project manager. Your download at the very beginning does include such a tool, at bin/leanpkg. That one is written in Lean (you...