selected publications blog posting A semantics of K into Dedukti. HAL (Le Centre pour la Communication Scientifique Directe). 2022