circuitlib: a circuit verification library for Lean 4

Source: arxiv:2201.10456, url:https://github.com/matthunz/circuitlib Authors: Matt Hunzinger Status: verified Main declarations: Circuit.SequentialCircuitCategory.instSymmetricCategory Tags: circuits, hardware, category-theory, combinational, sequential MSC: 18M05, 68Q60, 94C11