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