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: Jul 15 2022 at 23:21 UTC