link to zf blog post

philzook58 · philzook58 · commit e79d310d50e3 · 2025-10-26T12:19:30.000-04:00
diff --git a/README.md b/README.md
@@ -151,6 +151,7 @@ A recent summary talk of Knuckledragger was presented at NEPLS 2025
 
 ## Blog Posts
 
+- [ZF style set theory in Knuckledragger I](https://www.philipzucker.com/zf_knuckle1/)
 - [Proving the Infinitude of Primes in Knuckledragger](https://www.philipzucker.com/knuckle_primes/)
 - [Proof Rules for MetaSMT](https://www.philipzucker.com/kdrag_proof_rules/)
 - [A Python CLI for Verifying Assembly](https://www.philipzucker.com/asm_verify3/)
diff --git a/src/kdrag/theories/algebra/filter.py b/src/kdrag/theories/algebra/filter.py
@@ -48,3 +48,5 @@ def __init__(self, T: smt.SortRef):
         self.filter_inter = kd.prove(
             kd.QForAll([F], smt.ForAll([A, B], F(A), F(B), F(A & B))), unfold=1
         )
+
+    # @functools,cached_property

Original file line number	Diff line number	Diff line change
`@@ -48,3 +48,5 @@ def __init__(self, T: smt.SortRef):`
`48`	`48`	`self.filter_inter = kd.prove(`
`49`	`49`	`kd.QForAll([F], smt.ForAll([A, B], F(A), F(B), F(A & B))), unfold=1`
`50`	`50`	`)`
	`51`	`+`
	`52`	`+ # @functools,cached_property`