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

Maximilian Jakob Nowak
2026-03-03T09:42:09Z

Maximilian Jakob Nowak (3601f236) at 03 Mar 09:42

Initial commit