Added the entry about learning from our mistakes [19 Jan 2025]
Added entries about Gallina keywords [19 Jan 2025]
Removed the entries about polymorphism, code coverage, and implicit parameters [17 Jan 2025]
Added the entries about soundness, completeness, and good style [17 Jan 2025]
Created [14 Jan 2025]