There are many variations, but I’m on mobile rn. (Is this the new Fermat’s last theorem?) But seriously, the idea of breaking claims into logic and using progr

There are many variations, but I’m on mobile rn. (Is this the new Fermat’s last theorem?) But seriously, the idea of breaking claims into logic and using programming languages to check, compose, and verify claims is kinda the reason logical programming languages like prolog were invented.