reference for leanblueprint

Stream: general

[Elif Uskuplu]

Is there any paper written about leanblueprint that we can cite? The blog post is given in the repo of the program, and I can also cite github repo. But I wonder if there is a paper about it. I couldn't find!

[Patrick Massot]

There is no paper devoted to that topic. The sphere eversion project paper has a short section about it.

[Elif Uskuplu]

Thanks!

[Filippo A. E. Nuccio]

Patrick Massot said:

There is no paper devoted to that topic. The sphere eversion project paper has a short section about it.

And that's really a pity, @Patrick Massot !