Ethan Barry (new member)

Stream: new members

[Ethan Barry]

Hello!

I'm an undergrad (senior) double-majoring in mathematics and CS at the University of Texas at Tyler. I haven't taken many classes from the math side of my degree yet, but I've worked through a few proofs-based textbooks like Linear Algebra Done Right in my spare time.

This semester I'm going to formalize some problems in the Foundations class as my extra coursework for Honors. I think it's an achievable goal, but I'd feel more comfortable if I had some resources on Lean as a programming language. Are y'all aware of any blog posts or articles that focus on that aspect? I've been poking through FP in Lean, but something more condensed would help.

Thanks in advance, and I look forward to interacting more!

—Ethan B.