Translating an informal mathematical statement into the precise formal language a proof assistant can check.
Continue to AI University →