Maximilian Jakob Nowak pushed to project branch main at Maximilian Jakob Nowak / LeanSyntaxThesis

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

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

Add helper

... and 1 more commit