WingNews logo WingNews
top | item 46525772

(no title)

pdhborges | 1 month ago

Well Coq has program extraction built in.

discuss

order

Ericson2314|1 month ago

Yeah and that's why it's way better than the likes of TLA+.