-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
Searches related to formal method
Enter an email to receive alerts for formal-method positions