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

Maximilian Jakob Nowak
2026-03-03T12:59:04Z

Maximilian Jakob Nowak (26e71a5d) at 03 Mar 12:59

Add QuotConv experiment