The Repowise wiki for rakaarwaky/lean-arwaky holds 3,537 pages, generated from the source rather than written by hand. That breaks down as 1,945 file pages, 1,460 symbol pages, 59 module pages. These are deterministic pages built from the parsed source. No AI explanations have been written for this repository.