An Agda formalization of the Leibniz Adjunction Principle - with Claude AI - View it on GitHub