LeanArchitect: Automating Blueprint Generation for Humans and AI.

Thomas Zhu, Pietro Monticone, Sean Welleck, Jeremy Avigad

Browse the full ITP paper archive.