mu_spec (KFM 14: the setup arithmetic (§9.2), in the integer form the machine computes)

Initializing...

mu_spec (KFM 14: the setup arithmetic (§9.2), in the integer form the machine computes) · Prove2Me