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

Maximilian Jakob Nowak
2026-03-03T10:08:25Z

Maximilian Jakob Nowak (efd1217d) at 03 Mar 10:08

Publish