Orange (Jechyll) is a BSMS graduate from IISER Tirupati. Among other things, they are interested in mathematical logic.

topics they can give a talk on

requests from me

  • logic as geometry of constructible sets