← Back to context Comment by pdhborges 3 days ago Well Coq has program extraction built in. 1 comment pdhborges Reply Ericson2314 3 days ago Yeah and that's why it's way better than the likes of TLA+.
Yeah and that's why it's way better than the likes of TLA+.