Wrong nesting of <section>
Closed this issue · 0 comments
nomeata commented
It seems that the <section> nesting is wrong in the HTML, Avoiding termination proofs is nested inside Well-founded recursion despite having the same ## header. (At rev 20ac67a)