Formally verifying digital circuits with category theory in Lean - 资讯列表