The Lisa 1/5 I/O Board includes a socket for a 9512 Math Coprocessor.
There is no known software that will utilize the 9512 if installed, and the 2/10 I/O board does not have a socket for a math coprocessor.
The 9512 was also made under license by Intel as 8232.
I believe I read once that the 9512 was not used as it turned out that 68000 algorithms could be optimized to perform almost as well at the 5MHz speed of the Lisa.