haztecaso

Graduated in maths, Interested in geometry, logic and formal methods. I'm also a self-taught web developer. I love free software and use nixos on my machines

Spain