Quick Post via Twitter: The #coq verifier (https://t.co/BnA5o06PQ3) & the #halting problem. #qp #RacketLang #FP @jeapostle @fngeekery https://t.co/zewU6oHGu1

The #coq verifier (https://t.co/BnA5o06PQ3) & the #halting problem.

#qp
#RacketLang
#FP
@jeapostle @fngeekery https://t.co/zewU6oHGu1

Advertisements