www.lord-enki.net Thu, Jan 4 7:39AM 2018 (8y ago) GitHub - achlipala/frap: Formal Reasoning About Programs https://github.com/achlipala/frap ⤋ Read More Yarn