Comment Comment by andrewla Wow -- looks like thanks to Claude, Lean checks off another box on https://www.cs.ru.nl/~freek/100/ parent andrewla 1 month ago
