Develop a PEAS description of the task environment :

Develop a PEAS description of the task environment :A)Mathematician's theorem-proving assistant

Performance Measure: Necessity or can say requirement of time assistant, the degree ofcorrection.Environment: To prove a theorem, axioms which already exist.Actuators: Takes or can say accept...