Post #2172763

@JacquesC2 i'm a total beginner who dipped my toe into writing formal (simple) proofs in lean and yes, the process made me really clarify my understanding of the proof strategy and details that proof checkers are not forgiving of ambiguity or "read between the lines" was very educational for me