Soundness and Sambar at IISc Bangalore
·2197 words·11 mins
A couple of weeks ago I travelled to Bangalore for a hackathon at the Indian Institute of Science, organised by Prof. Siddharth Gadgilhttps://math.iisc.ac.in/~gadgil/ and Emergence AI. The structure of the hackathon was: spend the first couple of days getting taught Lean4https://lean-lang.org/ by Prof. Siddharth Gadgil and Prof. Prathamesh T. V. H.https://krea.edu.in/sias/dr-t-v-h-prathamesh/ , then disappear into a cave for a weekhttps://www.youtube.com/watch?v=0SARbwvhupQ and emerge with a project. The judges were Anand Rao Tadipatrihttps://dl.acm.org/profile/99661086046 and Sidharth Bhathttps://grosser.science/team/bhat/ ; both PhD students in mathematics at the University of Cambridge.