Eloi Torrents


Interests

Number theory

  • Class field theory

Lean

Linux

Publications