Topic: drafting web design help
Rob Lewis (Jul 20 2022 at 21:24):
Eric Wieser (Jul 20 2022 at 22:55):
For mathlib3 or mathlib4?
Rob Lewis (Jul 20 2022 at 23:16):
For mathlib3. Both the feature and the design could presumably be ported over easily enough, but it's a better idea to focus on 3 for the moment.
Last updated: Aug 03 2023 at 10:10 UTC