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: Dec 21 2024 at 12:33 UTC