This is an unofficial reimagining of the Archive of Formal Proofs
Fundamental Properties of Valuation Theory and Hensel's Lemmaby Hidetsune Kobayashi
Groups, Rings and Modulesby Hidetsune Kobayashi, L. Chen and H. Murao