abramdemski comments on An Intuitive Guide to Garrabrant Induction

[abramdemski]

Ah, not yet, no.