Stream: General

Topic: Zulip Case Study for Formalisation Projects (Lean)

view this post on Zulip Lukas Stevens (Nov 19 2021 at 12:54):

https://zulip.com/case-studies/lean/

Last updated: Feb 28 2025 at 08:24 UTC