Page MenuHomeIsabelle/Phabricator

lukasstevens (Lukas Stevens)
User

Projects

User does not belong to any projects.

User Details

User Since
Feb 18 2020, 10:45 AM (75 w, 3 d)

Recent Activity

May 28 2021

lukasstevens committed rAFP84e7b649025b: Restore deleted theorem from Szpilrajn.
Restore deleted theorem from Szpilrajn
May 28 2021, 10:49 AM

Mar 25 2021

lukasstevens committed rAFP66048a1fe6d6: Update tile to match metadata.
Update tile to match metadata
Mar 25 2021, 2:52 PM
lukasstevens committed rAFPe81a252628db: Extend entry Szpilrajn.
Extend entry Szpilrajn
Mar 25 2021, 2:47 PM

Mar 24 2020

lukasstevens added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.

With the current situation leading to increased activity at https://isabelle.zulipchat.com, it would be a good opportunity to discuss a switch to Zulipchat on the mailing list some time after the Isabelle2020 release.

Mar 24 2020, 12:09 PM

Feb 18 2020

lukasstevens added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.

Zulipchat (https://zulipchat.com/) is a chat service that has an interactive eMail-like threading model. Content is formatted in markdown complete with code formatting and more. With its filter mechanisms, one can easily concentrate on single threads or mute threads that one is no longer interested in. Since Zulipchat is open-source, it is possible to self-host it and use a variety of authentication schemes (https://zulip.readthedocs.io/en/stable/production/authentication-methods.html).

Feb 18 2020, 11:10 AM