MathLibre-doc
(most are in Japanese -- 日本語文書多い).