math

Formal verification has always intrigued me, but it was only recently that I decided to tackle something quite ambitious: attempting to prove Agrawal’s Conjecture using Isabelle, a powerful proof assistant. This conjecture, centered on polynomial congruences, modular arithmetic, and primality, presents a fascinating challenge well-suited to Isabelle’s capabilities. Here’s a Read more