Websites using Verso

Stream: lean4

[Thomas Vigouroux]

In the verso documentation, it is said:

Descriptions of formalization efforts that connect the formal artifact to mathematical text and guide the formalization, such as those made with Blueprint

Is there any example of making this kind of "formalization effort guide" using Verso ?

[Kim Morrison]

Not yet!

[Thomas Vigouroux]

Alright, so I guess we'll be the first ones then.
I'll try to report back here if I have any question.

[Thomas Vigouroux]

I guess the first one is: does the Manual genre allow multipage html ? The current example does not really show that