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: May 02 2025 at 03:31 UTC