Typed region composition for routed networks — a Lean 4 proof kernel where ill-typed region crossings are unconstructible
Lean Updated 24 days ago 1 commits 1 stars
synth-dev|Mirror: hyperpolymath/marches (⭐1)
24 days agoAbout
Typed region composition for routed networks — a Lean 4 proof kernel where ill-typed region crossings are unconstructible
Readme
1 stars