corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0da74-135d-72fe-8a2b-dac71c5a42cf

A Lean Proof Printing Python Union Find

Hey There Buddo! | Hot Leaves in a Cold Worlds. · published 25 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at philipzucker.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
17
Words captured
14,787

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Disjoint-set_data_structure
en.wikipedia.org
https://en.wikipedia.org/wiki/Kruskal's_algorithm
en.wikipedia.org
A Theory of Arrays (ToA) Union Find Read at the source ↗
philipzucker.com
https://www.philipzucker.com/proof_objects/
philipzucker.com
https://dl.acm.org/doi/10.1007/978-3-032-15700-3_1
dl.acm.org
https://en.wikipedia.org/wiki/Pullback_(category_theory
en.wikipedia.org
https://www.cs.upc.edu/~roberto/papers/rta05.pdf
cs.upc.edu
https://github.com/marijnheule/drat-trim
github.com
https://www.philipzucker.com/union-find-groupoid/
philipzucker.com
https://arxiv.org/abs/2209.03398
arxiv.org
https://arxiv.org/abs/2504.10246
arxiv.org
https://github.com/Z3Prover/z3/discussions/4881
github.com
https://github.com/Z3Prover/z3/discussions/5000
github.com
https://lean-lang.org/doc/api/Lean/Meta/HaveTelescope.html
lean-lang.org
https://github.com/gleachkr/Aufbau
github.com
https://smimram.github.io/ocaml-alg/
smimram.github.io
https://webusers.imj-prg.fr/~yves.guiraud/articles/polybook.pdf
webusers.imj-prg.fr