Post

was playing around with tree calculus again today and found myself wishing my lean formalisation gave me a way to visualise trees and their execution... so i built exactly that 🪄 check it out at github.com/Arrow7000/boom