← Back to context Comment by pdhborges 4 days ago Well Coq has program extraction built in. 1 comment pdhborges Reply Ericson2314 4 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+.