add latex to web-dev and lean (!12) · Merge requests · docker / ais2t · GitLab

The source project of this merge request has been removed.

Christoph Spiegel requested to merge (removed):main into main Dec 15, 2024