https://exfalsoquodlibet.srht.site/ Ex falso quodlibet Not yet another blog YOCaml 2025-11-01T00:00:00Z Nicolas Osborne https://exfalsoquodlibet.srht.site/ email@n-osborne.info https://exfalsoquodlibet.srht.site//articles/testing-semantic-preservation.html Testing semantic preservation 2025-11-01T00:00:00Z This post describes the general idea at the origin of one of my pet-project.