Carlos Caralps Rueda

A misty forest.

I am a mathematics bachelor student at the Autonomous University of Barcelona (UAB). 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 ≫