Research Article

The Gauge Integral Theory in HOL4

Figure 1

The summing inverting circuit.
160875.fig.001