The Tiddly Formal Math site presents 28 out of 60 IsarMathLib theories. It looks like the approach based on TiddlyWiki is close to the limits of its scalability. The page loads slowly, renders even slower and Firefox asks frequently if I really want this script to run as it appears to be hanging. In addition I noticed recently that some proofs don’t want to expand and I don’t feel up to the task of debugging the NestedSlidersPlugin internals. The TiddlyWiki approach was good as a proof of concept but putting 617 pages of IsarMathLib proof document in one HTML file is clearly not a good idea.