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: Apr 16 2024 at 12:28 UTC