Did da Vinci ever publish anything?

[Alfred001]

I know there are a lot of notes of his around, but did he ever actually publish anything himself?

[StringJunky]

Da Vinci's other second name was Half-a-job. Most things he did were a work-in-progress. For somebody as lauded an artist as he is, there's only about  30 works surviving. The nearest thing i can find is the Codex Leicester but that's a notebook. Bill Gates bought it in '94 for $30m.