Search for a command to run...
ReForm: Reflektive Autoformalisierung mit prospektiver begrenzter Sequenzoptimierung