Avatar
José A. Alonso 4mo ago

Real analysis, the game! ~ Alex Kontorovich. https://adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame #ITP #LeanProver #Math

Reply to this note

Please Login to reply.

Discussion

No replies yet.