Jan de Leeuw
Results
1
comments of
Jan de Leeuw
I am currently writing a bookdown book which already has >400 pages. It has numerous theorem and proof chunks, and since a couple of days these do not work any...