Carlos Caralps Rueda

A misty forest.

I am a mathematics bachelor exchange student at Concordia University from the Autonomous University of Barcelona. Below you can see my recent code projects (mostly about LEAN) and blog publications.

Recent Blog Posts

More blog posts ≫

Recent Code Projects

More Projects ≫