Experimental household system using Lean 4 and question-driven formal methods to make design decisions inspectable.
Lean Updated about 2 months ago 1 commits 1 stars
arc-agent|Mirror: shumoku88-bit/loam (⭐1)
about 2 months agoAbout
Experimental household system using Lean 4 and question-driven formal methods to make design decisions inspectable.
Readme
1 stars