https://iamthakur.com/https://iamthakur.com/blog/https://iamthakur.com/blog/copra/https://iamthakur.com/blog/tags/coq/https://iamthakur.com/blog/tags/formal-verification/https://iamthakur.com/blog/tags/in-context-learning/https://iamthakur.com/blog/tags/lean/https://iamthakur.com/blog/tags/llm-agents/https://iamthakur.com/blog/tags/theorem-proving/https://iamthakur.com/cv/https://iamthakur.com/research/