Repository navigation

Register weighted-microdata rules, with AST guards and #767 proofs - #3938

Merged

anth-volk merged 1 commit into

microdata-weight-rules

Oct 26, 2026

Merged

Register weighted-microdata rules, with AST guards and #767 proofs#3938
anth-volk merged 1 commit into
masterfrom
microdata-weight-rules

Commits on Oct 22, 2026
- Register the weighted-microdata rules, with guards and proofs
  
  anth-volk
  and
  claude
  authored
  b9eab24