Zulip Chat Archive
Stream: condensed mathematics
Topic: blueprint software
Reid Barton (Mar 25 2022 at 10:29):
What's the software behind https://leanprover-community.github.io/liquid/?
Patrick Massot (Mar 25 2022 at 10:40):
https://github.com/PatrickMassot/leanblueprint/
Last updated: Dec 20 2023 at 11:08 UTC