2025-04-29. Posted on 2025-04-29 :: 26 Words :: Tags: journal , lean finished solving exercise on intuitionistic propositional logic I need a bit more exercises in lattice theory
