Hacker News new | ask | show | jobs
by pdhborges 164 days ago
Well Coq has program extraction built in.
1 comments
Ericson2314 164 days ago
Yeah and that's why it's way better than the likes of TLA+.
link