4 ms·Write everything in Coq.by khafra 13y agoWrite everything in Coq.tel 13y agoPerhaps more reasonably: write the core of your application in Coq and have it expose a DSL for writing business logic atop this infallible core.