Arnab Mukherjee

icon indicating a website link [email protected]

icon company Earth icon location Computer Science Student at the University of Edinburgh

Results 1 comments of Arnab Mukherjee

GSoC: jsonschema.lean -- an implementation of JSON Schema in Lean

Hello @Julian. I'm really interested in getting involved with this project. I have a good amount of experience with Haskell. I have been a TA for the course INF1A (INFR08025)...