A Lean Proof Printing Python Union Find | Hacker News - But Better

A Lean Proof Printing Python Union Find philipzucker.com

It is somewhat strange, but I haven’t really spent much time working on proof production or recording out of egraphs.

2 points•matt_d•5 days ago•0 comments•

#proof #union #lean #printing #python #lean proof #printing python #proof printing

0 comments

No comments yet.

Related stories

Show HN: Range – open a 1TB Linux environment in under a second
Hacker News · 2 points · about 11 hours ago
Python FAQ: Why should I use Python 3?eev.ee
Lobsters · 22 points · about 10 years ago
500 Lines or Less: A Python Interpreter Written in Pythonaosabook.org
Lobsters · 10 points · 6 months ago
yieldfrom 1.0.0: A backport of the `yield from` semantic from Python 3.x to Python 2.7pypi.python.org
Lobsters · 11 points · over 9 years ago
Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 daysdev.to
DEV Community · 0 points · 3 days ago
Jubilant: Python subprocess and Go codegenbenhoyt.com
Lobsters · 14 points · 10 months ago