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