Repository navigation

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

Draft

anth-volk wants to merge 1 commit into

microdata-weight-rules

Draft

Register weighted-microdata rules, with AST guards and #767 proofs#3938
anth-volk wants to merge 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