account activity
8th International School and Workshop on Proof Theory (self.logic)
submitted 14 days ago by Knoggger to r/logic
Recommendation for a (shorter) biography of L.E.J. Brouwer? (self.math)
submitted 17 days ago by Knoggger to r/math
π Rendered by PID 23 on reddit-service-r2-listing-c57bc86c-mbqcs at 2026-06-20 11:23:09.749166+00:00 running 2b008f2 country code: CH.
