Zulip Chat Archive
Stream: lean4
Topic: collection of lean4 projects
Matthew Ballard (Feb 08 2022 at 14:26):
Is a GitHub search currently the best option for locating projects built using Lean 4?
Sebastian Ullrich (Feb 08 2022 at 14:32):
There is https://github.com/topics/lean4
Last updated: Dec 20 2023 at 11:08 UTC