https://methaphur.github.io/tags/formal-methods/Recent content in Formal Methods on Harisankar BHugo -- gohugo.ioenharisankar.b@niser.ac.in (Harisankar B)harisankar.b@niser.ac.in (Harisankar B)&copy; 2026 Harisankar BSat, 09 May 2026 00:00:00 +0000https://methaphur.github.io/blogs/first-note/Sat, 09 May 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/first-note/<p>Automated reasoning sits at an exciting boundary between mathematics and computer science. It asks how far formal logic, carefully designed languages, and computation can go in representing and checking mathematical arguments.</p> <p>My current interest is in learning how proof assistants such as <a href="https://leanprover-community.github.io/" target="_blank" rel="noreferrer">Lean</a> connect abstract foundations with practical verification. The subject feels especially compelling because it draws on logic, algorithms, complexity, and the craft of expressing ideas precisely enough for both humans and machines.</p>