ComputerAidedMaths

Context: OnMathematics

Computers have been aiding maths, like, forever, of course.

I guess ProofAssistants etc.

RStar