GitHub repository: niklasmohrin/lean-seminar-2023
Primary language: Lean
Created: 2023-10-19T12:36:32Z
Description: Construction of a flow equivalent forest from a flow matrix in Lean 4