Assertion list for term "use simple microprocessor".

Results from Ascent++: 1
proof CapableOfuse simple microprocessor 0.25