Lean on Anachronistic Monkhttps://durwasa-chakraborty.github.io/tags/lean/Recent content in Lean on Anachronistic MonkHugo -- gohugo.ioen© 2026 Durwasa ChakrabortyThu, 07 May 2026 18:15:04 +0530Soundness and Sambar at IISc Bangalorehttps://durwasa-chakraborty.github.io/posts/hackathon-query-bridge-at-iisc-bangalore/Thu, 07 May 2026 18:15:04 +0530https://durwasa-chakraborty.github.io/posts/hackathon-query-bridge-at-iisc-bangalore/<p>A couple of weeks ago I travelled to Bangalore for a hackathon at the <strong>Indian Institute of Science</strong>, organised by <span class="mention">Prof. Siddharth Gadgil<sup class="mention-ref"></sup><a class="mention-link" href="https://math.iisc.ac.in/~gadgil/" target="_blank" rel="noopener noreferrer">https://math.iisc.ac.in/~gadgil/</a></span> and <strong>Emergence AI</strong>. The structure of the hackathon was: spend the first couple of days getting taught <span class="mention">Lean4<sup class="mention-ref"></sup><a class="mention-link" href="https://lean-lang.org/" target="_blank" rel="noopener noreferrer">https://lean-lang.org/</a></span> by Prof. Siddharth Gadgil and <span class="mention">Prof. Prathamesh T. V. H.<sup class="mention-ref"></sup><a class="mention-link" href="https://krea.edu.in/sias/dr-t-v-h-prathamesh/" target="_blank" rel="noopener noreferrer">https://krea.edu.in/sias/dr-t-v-h-prathamesh/</a></span> , then disappear into a <span class="mention">cave for a week<sup class="mention-ref"></sup><a class="mention-link" href="https://www.youtube.com/watch?v=0SARbwvhupQ" target="_blank" rel="noopener noreferrer">https://www.youtube.com/watch?v=0SARbwvhupQ</a></span> and emerge with a project. The judges were <span class="mention">Anand Rao Tadipatri<sup class="mention-ref"></sup><a class="mention-link" href="https://dl.acm.org/profile/99661086046" target="_blank" rel="noopener noreferrer">https://dl.acm.org/profile/99661086046</a></span> and <span class="mention">Sidharth Bhat<sup class="mention-ref"></sup><a class="mention-link" href="https://grosser.science/team/bhat/" target="_blank" rel="noopener noreferrer">https://grosser.science/team/bhat/</a></span> ; both PhD students in mathematics at the University of Cambridge.</p>