Zulip Chat Archive
Stream: lean4
Topic: GUI LIbs
John Smith (Jan 21 2022 at 02:03):
Are there any gui libs for lean 4?
Chris B (Jan 21 2022 at 04:50):
I don't have a complete catalog of everything written in Lean 4, but probably not. I certainly haven't heard of any such library.
Last updated: Dec 20 2023 at 11:08 UTC