Logics, Math, and Physics lover. // use Fortran, Haskell mainly, and sometimes python3 etc. // intersted in PLT
Silver I 72278 until Gold V
Problems
Arena