← Feed @nomeata@mastodon.online Post #2798895 2026-02-25 17:32 UTC @kha opening the first #leanprover meetup in Munich Replies (0) No replies.