Maximilian Jakob Nowak pushed new project branch 260303 at Maximilian Jakob Nowak / LeanSyntaxThesis

Maximilian Jakob Nowak
2026-03-03T09:55:57Z

Maximilian Jakob Nowak (f68d49d3) at 03 Mar 09:55

Add helper

... and 1 more commit