Hacker News new | ask | show | jobs
by JohnHaugeland 1910 days ago
Transpiling to Z3 and Coq is an absolutely fascinating idea.

I will attempt to adopt this. I've no idea where even to start