separate out leanblueprint from mathlibtools (!10) · Merge requests · docker / ais2t · GitLab

The source project of this merge request has been removed.

Christoph Spiegel requested to merge (removed):cspiegel-main-patch-67624 into main Dec 11, 2024