Hello, use this thread to introduce yourself

Re: Hello, use this thread to introduce yourself

par Utilisateur supprimé,
Hello everyone,

I am a 4th year PhD student in mathematics, studying the algebraic and categorical foundations of differential calculus. I first heard about Julia during a seminar about computer-assisted proof verification, and it made me curious then, but I never used it myself.

Jérémy